lax monoidal category

Last updated May 2, 2024