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:

category: people

Last revised on October 28, 2023 at 08:54:35. See the history of this page for a list of all contributions to it.