2 papers
cs.LO2026
On Left Adjoints Preserving Colimits in Homotopy Type Theory
Perry Hart
We examine how the standard proof that left adjoints preserve colimits behaves in the setting of wild categories, a natural setting for synthetic homotopy theory inside homotopy ty…
cs.LO2024
Coslice Colimits in Homotopy Type Theory
Perry Hart, Kuen-Bang Hou
We contribute to the theory of (homotopy) colimits inside homotopy type theory. The heart of our work characterizes the connection between (graph-indexed) colimits in a type univer…