eduroam-prg-og-1-31-222.net.univ-paris-diderot.fr 2026-1-26:12:12:26

catégorie.md

@@ -0,0 +1,21 @@
+---
+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
+
+