An (\infty,n)-categorical straightening-unstraightening construction

arXiv2307.07259MaRDI QIDQ6443763FDOQ6443763

Authors: Lyne Moser, Nima Rasekh, Martina Rovelli 

Publication date: 14 July 2023

Mathematics Subject Classification ID

Simplicial sets, simplicial objects (18N50) Abstract and axiomatic homotopy theory in algebraic topology (55U35) 2-categories, bicategories, double categories (18N10) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45) ((infty, n))-categories and ((infty,infty))-categories (18N65)

This page was built for publication: An $(\infty,n)$-categorical straightening-unstraightening construction

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