Origin: Latin suffix -ory
Definition, synonyms and related words
A category naturally associated to any monad T, and equivalent to the category of free T-algebras.