Universal Properties of Lens Proxy Pullbacks

DOI10.4204/eptcs.380.23arXiv2307.16553MaRDI QIDQ6190612

Unnamed Author

Publication date: 5 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2307.16553

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Bidirectional transformations. International summer school, Oxford, UK, July 25--29, 2016. Tutorial lectures
• Maps. I: Relative to a factorisation system
• Crossed modules of monoids. I: Relative categories
• Category-theoretic structure for independence and conditional independence
• Exact categories and categories of sheaves
• On Bicategories of Relations and Pullback Spans
• A diagrammatic approach to symmetric lenses

This page was built for publication: Universal Properties of Lens Proxy Pullbacks