Coslice Colimits in Homotopy Type Theory

From MaRDI portal

MaRDI QIDQ6754689arXivFDO

Authors Perry Hart, Kuen-Bang Hou (Favonia)

Publication date 2024

Published in arXiv


arXiv classification

cs.LO















This page was built for publication: Coslice Colimits in Homotopy Type Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6754689)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Coslice_Colimits_in_Homotopy_Type_Theory&oldid=106017080"
Powered by MediaWiki