Global ETD Search

Internal Yoneda Ext Groups, Central H-spaces, and Banded Types

Flaten, Jarl Gunnar TaxeråsThe University of Western Ontario2023

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 Grothendieck categories and Yoneda Ext groups in this setting, as well as a novel class of central H-spaces along with their …

uwo Repository record for Internal Yoneda Ext Groups, Central H-spaces, and Banded Types (opens in a new tab)