Etymology

coend

C3O1E1N1D2

Today it means: The dual of an end in category theory. Full definition →

Ask AI about its historyChatGPTClaudePerplexityGoogle AIGrok