The internal languages of univalent categories

From MaRDI portal

MaRDI QIDQ6752847arXivFDO

Authors Niels van der Weide

Publication date 2024

Published in arXiv


arXiv classification

math.CT















This page was built for publication: The internal languages of univalent categories

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

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