Internal lenses as functors and cofunctors

  title={Internal lenses as functors and cofunctors},
  author={Bryce Clarke},
Lenses may be characterised as objects in the category of algebras over a monad, however they are often understood instead as morphisms, which propagate updates between systems. Working internally to a category with pullbacks, we define lenses as simultaneously functors and cofunctors between categories. We show that lenses may be canonically represented as a particular commuting triangle of functors, and unify the classical state-based lenses with both c-lenses and d-lenses in this framework… Expand
Limits and colimits in a category of lenses
A diagrammatic approach to symmetric lenses
Higher Lenses
Supervised categorical learning as change propagation with delta lenses
  • Z. Diskin
  • Computer Science, Mathematics
  • ArXiv
  • 2019
The more legs the merrier: A new composition for symmetric (multi-)lenses
General Supervised Learning as Change Propagation with Delta Lenses
  • Z. Diskin
  • Computer Science, Mathematics
  • FoSSaCS
  • 2020


Lenses, fibrations and universal translations†
Relating Algebraic and Coalgebraic Descriptions of Lenses
Algebras and Update Strategies
Symmetric lenses
Sketches of an Elephant: A Topos Theory Compendium Volume 1
Taking Updates Seriously
Unifying Set-Based, Delta-Based and Edit-Based Lenses
Compositionality of Update Propagation: Lax PutPut
Update semantics of relational views