Generalized Chevalley criteria in simplicial homotopy type theory
From MaRDI portal
Publication:6525859
Simplicial sets, simplicial objects (18N50) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Fibered categories (18D30) Type theory (03B38) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)
This page was built for publication: Generalized Chevalley criteria in simplicial homotopy type theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6525859)
