LekhoriLekhoriA collection of objects, together with a transitively closed collection of composable arrows between them, such that every object has an identity arrow, and such that arrow composition is associative.
One well-known category has sets as objects and functions as arrows.
Late Middle English, borrowed from French catégorie, from Middle French categorie, from Late Latin catēgoria (“class of predicables”), from Ancient Greek κατηγορία (katēgoría, “head of predicables”). ...
Select a language to see translations