nLab Kristina Sojakova

Selected writings

On inductive types in homotopy type theory via homotopy-initial algebras over an endofunctor:

and analogously on higher inductive types:

On the Eckmann-Hilton argument in homotopy type theory:

category: people

Last revised on December 26, 2022 at 22:26:59. See the history of this page for a list of all contributions to it.