Compatible squares of functor lenses

Last updated Feb 3, 2024

References.

• Universal Properties of Proxy Pullbacks (Di Meglio)