Fibred 2-categories and bicategories
From MaRDI portal
Publication:393515
DOI10.1016/J.JPAA.2013.11.002zbMath1296.18006arXiv1212.6283OpenAlexW2009617810MaRDI QIDQ393515
Publication date: 23 January 2014
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1212.6283
Related Items (23)
Monoidal Grothendieck construction ⋮ Theorem A for marked 2-categories ⋮ Stone dualities from opfibrations ⋮ Sigma limits in 2-categories and flat pseudofunctors ⋮ Bilimits are bifinal objects ⋮ Discrete Double Fibrations ⋮ On straightening for Segal spaces ⋮ Artin glueings of toposes as adjoint split extensions ⋮ Unnamed Item ⋮ A general framework for the semantics of type theory ⋮ Bicategorical type theory: semantics and syntax ⋮ Oplax Hopf Algebras ⋮ The enriched Grothendieck construction ⋮ THREE STUDIES IN HIGHER CATEGORY THEORY: FIBRATIONS, SKEW-MONOIDAL STRUCTURES AND EXCISION OF EXTREMALS ⋮ Homotopy colimits of 2-functors ⋮ Bicategorical homotopy fiber sequences ⋮ Fibrations of AU-contexts beget fibrations of toposes ⋮ Six-functor-formalisms and fibered multiderivators ⋮ Skew-enriched categories ⋮ Lax familial representability and lax generic factorizations ⋮ Quillen cohomology of $(\infty,2)$-categories ⋮ 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\) ⋮ 2-Cartesian fibrations. I: A model for \(\infty\)-bicategories fibred in \(\infty\)-bicategories
Cites Work
- Categorical logic and type theory
- Some properties of Fib as a fibred \(2\)-category
- A Quillen model structure for bicategories
- A 2-Categories Companion
- Fibered categories and the foundations of naive category theory
- Coherence for tricategories
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Fibred 2-categories and bicategories
