Etymology

biclosed

B3I1C3L1O1S1E1D2

Today it means: Of a monoidal category: both left-closed and right-closed. Full definition →

Ask AI about its historyChatGPTClaudePerplexityGoogle AIGrok