diff --git a/S2 LOGOS . mathématiques pour non spécialistes.md b/S2 LOGOS . mathématiques pour non spécialistes.md
index fe55507d..d3261639 100644
--- a/S2 LOGOS . mathématiques pour non spécialistes.md	
+++ b/S2 LOGOS . mathématiques pour non spécialistes.md	
@@ -36,3 +36,4 @@ share_updated: 2026-01-12T23:01:48+01:00
      - définition des [[partie fermée d'un espace métrique|fermés]] comme complémentaires des ouverts dans un espace topologique
 
 
+# Théorie des catégories
\ No newline at end of file
diff --git a/daily/2026-02-04.md b/daily/2026-02-04.md
index 1cb57b91..bb99d24e 100644
--- a/daily/2026-02-04.md
+++ b/daily/2026-02-04.md
@@ -5,7 +5,7 @@ due 2026-02-04
 not done
 ```
 # I did
-
+ - [[syntax, semantics, discourse 2]] (grammaires de montague)
 > [!smallquery]- Modified files
 > ```dataview
 > LIST file.mtime
diff --git a/fonction récursive primitive.md b/fonction récursive primitive.md
index 57ddbffa..7f44e620 100644
--- a/fonction récursive primitive.md	
+++ b/fonction récursive primitive.md	
@@ -9,11 +9,13 @@ aliases:
 
 > [!definition] [[fonction récursive primitive]]
 > On définit par [[induction]] l'ensemble des fonctions récursives primitives comme suit :
-> Soit $p \in \mathbb{N}$ on note $\mathscr{F}_{p}$ l'ensemble des applications de $\mathbb{N}^{p} \to \mathbb{N}$ (par convention, $\mathscr{F}_{0}$ ne contient que la suite vide)
+> [^1] 
 > 
 ^definition
 
+
 # Propriétés
 
 # Exemples
 
+[^1]: Soit $p \in \mathbb{N}$ on note $\mathscr{F}_{p}$ l'ensemble des applications de $\mathbb{N}^{p} \to \mathbb{N}$ (par convention, $\mathscr{F}_{0}$ ne contient que la suite vide)
\ No newline at end of file