Monoidal double category of categories

Last updated Aug 14, 2023

See also

• formal category theory