Monadic

The term monadic has multiple uses:

  • In logic and mathematics, a predicate, a relation or a function having an arity of one is called monadic.
  • In category theory, an adjunction is called monadic iff it is equivalent to the adjunction given by the Eilenberg-Moore algebras of its associated monad.
  • In chemistry, monadic is a synonym for univalent.