Discrete double fibrations
From MaRDI portal
Abstract: Presheaves on a small category are well-known to correspond via a category of elements construction to ordinary discrete fibrations over that same small category. Work of R. Par'e proposes that presheaves on a small double category are certain lax functors valued in the double category of sets with spans. This paper isolates the discrete fibration concept corresponding to this presheaf notion and shows that the category of elements construction introduced by Par'e leads to an equivalence of virtual double categories.
Recommendations
Cites work
- A unified framework for generalized multicategories
- Change of base for toposes with generators
- Composition of modules for lax functors
- Fibred 2-categories and bicategories
- Formal category theory: Adjointness for 2-categories
- Framed bicategories and monoidal fibrations
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 3933292 (Why is no real title available?)
- scientific article; zbMATH DE number 3783245 (Why is no real title available?)
- scientific article; zbMATH DE number 3512374 (Why is no real title available?)
- scientific article; zbMATH DE number 3574077 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 2139647 (Why is no real title available?)
- scientific article; zbMATH DE number 1389226 (Why is no real title available?)
- Limits indexed by category-valued 2-functors
- The comprehensive factorization and torsors
- The comprehensive factorization of a functor
- Yoneda theory for double categories
Cited in
(9)- Double Kodaira fibrations
- Categories with slicing
- On Certain Fibred Ribbon Disc Pairs
- Double categories of relations
- scientific article; zbMATH DE number 7646802 (Why is no real title available?)
- Discrete 2-fibrations
- Yoneda lemma and representation theorem for double categories
- Unbiased multicategory theory
- Exponentiable virtual double categories and presheaves for double categories
This page was built for publication: Discrete double fibrations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4994673)