Coequalisers under the lens

MaRDI QIDQ6153334zbMATH OpenFDO

Authors

Publication date 13 February 2024

Full work available at URL https://arxiv.org/abs/2211.01826, https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.11

Mathematics Subject Classification ID

Graphs, diagram schemes, precategories (18A10)

Recommendations

• Internal lenses as functors and cofunctors
• Universal Properties of Lens Proxy Pullbacks
• Limits and colimits in a category of lenses
• Symmetric lenses
• Lifting twisted coreflections against delta lenses

Cites work

• A diagrammatic approach to symmetric lenses
• Bidirectional transformations. International summer school, Oxford, UK, July 25--29, 2016. Tutorial lectures
• Category-theoretic structure for independence and conditional independence
• Crossed modules of monoids. I: Relative categories
• Homotopy inverses for nerve
• scientific article; zbMATH DE number 1375542 (Why is no real title available?)
• Internal lenses as functors and cofunctors
• Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
• The more legs the merrier: a new composition for symmetric (multi-)lenses
• Update semantics of relational views

Cited in

(4)

• Limits and colimits in a category of lenses
• Universal Properties of Lens Proxy Pullbacks
• Lifting twisted coreflections against delta lenses
• The algebraic weak factorisation system for delta lenses

This page was built for publication: Coequalisers under the lens

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6153334)