Abstract: Split opfibrations are functors equipped with a suitable choice of opcartesian lifts. The purpose of this paper is to characterise internal split opfibrations through separating the structure of a suitable choice of lifts from the property of these lifts being opcartesian. The underlying structure of an internal split opfibration is captured by an internal functor equipped with an internal cofunctor, while the property may be expressed as a pullback condition, akin to the simple condition on an internal functor to be an internal discrete opfibration. Furthermore, this approach provides two additional characterisations of internal split opfibrations, via the d'ecalage construction and strict factorisation systems. For small categories, this theory clarifies several aspects of delta lenses which arise in computer science.
Recommendations
- Internal lenses as functors and cofunctors
- Identification of certain structures as split opfibrations over \(\Delta^{\text{op}}\)
- Categorical notions of fibration
- A Mal'tsev glance at the fibration \((\ )_0:Cat\mathbb{E}\to \mathbb{E}\) of internal categories
- scientific article; zbMATH DE number 1157196
Cites work
- Algebras and update strategies
- Distributive laws and factorization
- Duality for base-changing morphisms of vector bundles, modules, Lie algebroids and Poisson structures
- 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 3305157 (Why is no real title available?)
- Internal lenses as functors and cofunctors
- Lenses, fibrations and universal translations
- Mealy morphisms of enriched categories
- The formal theory of monads. II
- When is a container a comonad?
Cited in
(7)- Identification of certain structures as split opfibrations over \(\Delta^{\text{op}}\)
- Internal lenses as functors and cofunctors
- A diagrammatic approach to symmetric lenses
- Retrocells
- Limits and colimits in a category of lenses
- Lifting twisted coreflections against delta lenses
- The algebraic weak factorisation system for delta lenses
This page was built for publication: Internal split opfibrations and cofunctors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5129225)
