Monoidal double category of categories

Last updated May 3, 2024

See also

• formal category theory