MathGloss

A category C\mathcal C is a collection of objects together with a set C(A,B)\mathcal C(A,B) of morphisms or maps between any two objects. In particular, there is always for each object AA in C\mathcal C an identity morphism idAC(A,A)\text{id}_A \in\mathcal C(A,A). Finally, a category must obey the following composition law: :C(B,C)×C(A,B)C(A,C)\circ: \mathcal C(B,C)\times \mathcal C(A,B) \to \mathcal C(A,C) for all triples AA, BB, CC of objects such that composition is associative, and identity morphisms are identities for composition. That is,

Wikidata ID: Q719395