nLab Felix Cherubini

Selected writings

(previously: Felix Wellen)

Selected writings

On modal homotopy type theory (such as concerning homotopy n-types/n-truncation modality and covering spaces):

On synthetic algebraic geometry:

On projective spaces in synthetic algebraic geometry:

category: people

Last revised on May 24, 2024 at 05:25:10. See the history of this page for a list of all contributions to it.