---
up:
  - "[[théorie des catégories]]"
tags:
  - s/maths
aliases:
---

> [!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

# Propriétés

# Exemples