Wiktionary
coend
n. (context mathematics English) The dual of an end in category theory
n. (context mathematics English) The dual of an end in category theory