Further reading:
Lenses for Philosophers
Categorical Systems Theory
Poly Book
Introduction to Bidirectional Transformations