Limits and colimits in a category of lenses

MaRDI QIDQ6153335zbMATH OpenFDO

Authors

Publication date 13 February 2024

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

Mathematics Subject Classification ID

Graphs, diagram schemes, precategories (18A10)

Recommendations

• Universal Properties of Lens Proxy Pullbacks
• Coequalisers under the lens
• A diagrammatic approach to symmetric lenses
• Internal lenses as functors and cofunctors
• Lex colimits

Cites work

• An Invitation to Applied Category Theory
• Internal lenses as functors and cofunctors
• Internal split opfibrations and cofunctors
• Lenses, fibrations and universal translations
• The more legs the merrier: a new composition for symmetric (multi-)lenses

Cited in

(4)

• Coequalisers under the lens
• 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: Limits and colimits in a category of lenses

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