Search
❯
Aug 23, 20251 min read
Tags: total relation, Compact closed category, directionality in monoidal categories.