Cofunctor

See also

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