Origin: Latin suffix -ory
Definition, synonyms and related words
A category which has a terminal object and which for every two objects A and B has a product A × B and an exponential object Bᴬ.