Right adjoint to oplax is lax

Last updated Feb 22, 2025

• Formal category theory