22 lines
667 B
Markdown
22 lines
667 B
Markdown
---
|
|
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
|
|
|
|
|