Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories

DOI10.1007/S40062-024-00348-3MaRDI QIDQ6612003

Jonathan Weinberger

Publication date: 27 September 2024

Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)

zbMATH Keywords

homotopy type theorySegal spaces\((\infty, 1)\)-categoriesRezk spacessimplicial type theoryfibered Yoneda lemmatwo-sided Cartesian fibrations

Mathematics Subject Classification ID

Fibered categories (18D30) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Simplicial sets, simplicial objects (18N50) 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: Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories

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