[!definition] catégorie
Une catégorie est consituée d'une collection d'objets et d'une collection de flèches (ou "morphismes").
À chaque flèche est associée deux objets : sa source et son but
i On note f : a \to b
À tout objet a correspond une flèche 1_{a} : a \to a, appelée identité de a
À tout couple de morphismes (f: a\to b, g : f \to c) tel que la source du second membre soit la source du premier, on peut appliquer l'opération dite de composition, notée \circ : g \circ f : a \to c
^definition
