A diagrammatic approach to symmetric lenses

zbMath1477.18044arXiv2101.10481MaRDI QIDQ5019662

Bryce Clarke

Publication date: 10 January 2022

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

Mathematics Subject Classification ID

2-categories, bicategories, double categories (18N10)

Related Items

Universal Properties of Lens Proxy Pullbacks ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Mealy morphisms of enriched categories
• The formal theory of monads
• Duality for base-changing morphisms of vector bundles, modules, Lie algebroids and Poisson structures
• Polynomials as spans
• Internal split opfibrations and cofunctors
• Symmetric lenses