Discrete 2-fibrations
This paper is a study of 2-dimensional discrete fibrations, which are a specialization of 2-fibrations, just as fibrations generalizes discrete fibrations.\N\NThe synopsis of the paper goes as follows.\N\N\begin{itemize}\N\item[\S 2] defines a discrete 2-fibration (Definition 2.4), giving an elements construction (Construction 2.1). Examples are given, particularly that of\N\[\N\mathrm{cod}:\boldsymbol{DFib}\rightarrow\boldsymbol{Cat}\N\]\Nas a discrete 2-fibration.\N\N\item[\S 3] justifies the above definition by exhibiting the pseudo-inverse (Construction 3.2), which leads to representation theorem (Theorem 3.7). It is finally shown (Theorem 3.23) how the equivalence restricts the established equivalence for 2-fibrations in [\textit{M. Buckley}, J. Pure Appl. Algebra 218, No. 6, 1034--1074 (2014; Zbl 1296.18006)].\N\N\item[\S 4] gives several monadicity results. It is shown (Theorem 4.13) that (discrete) 2-fibrations are monadic, the monad being given by an action of Bénabou's cylinder construction [\textit{J. Bénabou}, Lect. Notes Math. 47, 1--77 (1967; Zbl 1375.18001), \S 8.2]. A 3-categorical setting is developed to describe universal constructions arising in the description of (discrete) 2-fibrations as algebras.\N\N\item[\S 5] is a prospectus.\N\end{itemize}
- A 2-categories companion
- A homotopy 2-groupoid of a Hausdorff space
- Algebraic classification of equivariant homotopy 2-types. I
- Categorical logic and type theory
- Categorical notions of fibration
- Change of base for toposes with generators
- Coherence for tricategories
- Conspectus of variable categories
- Discrete double fibrations
- Elementary observations on 2-categorical limits
- Fibered categories and the foundations of naive category theory
- Fibrations and partial products in a 2-category
- Fibred 2-categories and bicategories
- Formal category theory: Adjointness for 2-categories
- Framed bicategories and monoidal fibrations
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 3512374 (Why is no real title available?)
- scientific article; zbMATH DE number 3522194 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 1389226 (Why is no real title available?)
- scientific article; zbMATH DE number 3305157 (Why is no real title available?)
- scientific article; zbMATH DE number 7646802 (Why is no real title available?)
- Intercategories
- Introduction to bicategories
- Sheaves in geometry and logic: a first introduction to topos theory
- Sigma limits in 2-categories and flat pseudofunctors
- Some properties of Fib as a fibred \(2\)-category
- The formal theory of monads
- Yoneda structures from 2-toposes
This page was built for publication: Discrete 2-fibrations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6617077)
