Compatible squares of functor lenses

Last updated Nov 4, 2022

References.

• Universal Properties of Proxy Pullbacks (Di Meglio)