# Internal lenses as functors and cofunctors

@inproceedings{Clarke2020InternalLA, title={Internal lenses as functors and cofunctors}, author={Bryce Clarke}, year={2020} }

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

#### 7 Citations

Higher Lenses

- Computer Science
- 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- 2021

Supervised categorical learning as change propagation with delta lenses

- Computer Science, Mathematics
- ArXiv
- 2019

General Supervised Learning as Change Propagation with Delta Lenses

- Computer Science, Mathematics
- FoSSaCS
- 2020

#### References

SHOWING 1-10 OF 20 REFERENCES

Lenses, fibrations and universal translations†

- Mathematics, Computer Science
- Mathematical Structures in Computer Science
- 2011

Relating Algebraic and Coalgebraic Descriptions of Lenses

- Computer Science
- Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
- 2012

Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem

- Computer Science
- TOPL
- 2007

Compositionality of Update Propagation: Lax PutPut

- Computer Science
- BX@ETAPS
- 2017