Mario Román

❯

❯

Thickening of a finite function

Thickening of a finite function

Mar 07, 20231 min read

thickening-of-a-finite-function

Categorical Logic (Shulman, 2016).

Graph View

Backlinks

Faithful cartesian club

Mario Román (2026), CC-BY-SA. Built mostly with Quartz and Write.

GitHub
ArXiv
OrcID