notesum.ai

Published at November 22

Coslice Colimits in Homotopy Type Theory

cs.LO
math.CT
math.LO

Released Date: November 22, 2024

Authors: Perry Hart, Kuen-Bang Hou

Arxiv: http://arxiv.org/abs/2411.15103v1