Homotopy Languages

MaRDI QIDQ7196482arXivFDO

Authors César Martínez, Simon Henry

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Foundations, relations to logic and deductive systems (18A15) Theories (e.g., algebraic theories), structure, and semantics (18C10) Homotopical algebra, Quillen model categories, derivators (18N40) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

arXiv classification

math.CT

This page was built for publication: Homotopy Languages

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