Wiktionary
comonad
n. (context mathematics category theory English) A monad of the opposite category