comonad

/K AH0 M AH0 N AE0 D/
noun
  1. 1

    (mathematics, category theory) A monad of the opposite category.