Comment on me when lower category theory
flamingo_pinyata@sopuli.xyz 2 weeks ago
Oh, monoidal homotropy? Kinky stuff