Central H-spaces and banded types
U Buchholtz, JD Christensen, JGT Flaten… - arXiv preprint arXiv …, 2023 - arxiv.org
We introduce and study central types, which are generalizations of Eilenberg-Mac Lane
spaces. A type is central when it is equivalent to the component of the identity among its own …
spaces. A type is central when it is equivalent to the component of the identity among its own …
Formalising Yoneda Ext in univalent foundations
JGT Flaten - arXiv preprint arXiv:2302.12678, 2023 - arxiv.org
Ext groups are fundamental objects from homological algebra which underlie important
computations in homotopy theory. We formalise the theory of Yoneda Ext groups in …
computations in homotopy theory. We formalise the theory of Yoneda Ext groups in …
Internal Yoneda Ext Groups, Central H-spaces, and Banded Types
JGT Flaten - 2023 - search.proquest.com
We develop topics in synthetic homotopy theory using the language of homotopy type
theory, and study their semantic counterparts in an∞-topos. Specifically, we study …
theory, and study their semantic counterparts in an∞-topos. Specifically, we study …