Cofunctor

Last updated Feb 3, 2024

See also

• Compatible squares of functor lenses
• Proxy-pullback square
• sync-minimal lens span