Ext groups in homotopy type theory
JD Christensen, JGT Flaten - arXiv preprint arXiv:2305.09639, 2023 - arxiv.org
We develop the theory of Yoneda Ext groups over a ring in homotopy type theory (HoTT)
and describe their interpretation into an $\infty $-topos. This is an abstract approach to Ext …
and describe their interpretation into an $\infty $-topos. This is an abstract approach to Ext …
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 …