(linguistics) Part of speech.

plural of hors categorie

(category theory) A cartesian closed category which also has an initial object and such that for any pair of objects, A and B, in the category, the category has another object which is their coproduct, A∐B.

(category theory) 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ᴬ.

plural of bicartesian closed category

plural of Cartesian closed category