Lifting twisted coreflections against delta lenses
zbMATH Open1545.18006MaRDI QIDQ6589557FDOQ6589557
Authors: Bryce Clarke
Publication date: 19 August 2024
Published in: Theory and Applications of Categories (Search for Journal in Brave)
Recommendations
Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Fibered categories (18D30) 2-categories, bicategories, double categories (18N10)
Cites Work
- Categories of continuous functors. I
- Title not available (Why is that?)
- The comprehensive factorization of a functor
- Algebraic model structures
- Understanding the small object argument
- Title not available (Why is that?)
- Lenses, fibrations and universal translations
- Natural weak factorization systems.
- Algebraic weak factorisation systems. I: Accessible AWFS.
- Semidirect products and crossed modules in monoids with operations
- Schreier split epimorphisms between monoids.
- Adjoint triangles
- Title not available (Why is that?)
- Title not available (Why is that?)
- Autonomous categories and duality of functors
- Span, cospan, and other double categories
- An orthogonal approach to algebraic weak factorisation systems
- Introduction to bidirectional transformations
- Groupoids and skeletal categories form a pretorsion theory in \(\mathsf{Cat}\)
- Internal lenses as functors and cofunctors
- Internal split opfibrations and cofunctors
- Coequalisers under the lens
- Limits and colimits in a category of lenses
- Universal Properties of Lens Proxy Pullbacks
Cited In (1)
This page was built for publication: Lifting twisted coreflections against delta lenses
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6589557)