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