Adjunctions in a proarrow equipment

Last updated Aug 14, 2023

See also

• formal category theory