From 79b3344ccaf3df4518900ea35a6966976751074b Mon Sep 17 00:00:00 2001
From: utensil <utensilcandel@gmail.com>
Date: Fri, 14 Jun 2024 23:34:32 +0800
Subject: [PATCH] Add fauser2004grade

---
 trees/tt-0001.tree | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/trees/tt-0001.tree b/trees/tt-0001.tree
index eadb882..f45d5b5 100644
--- a/trees/tt-0001.tree
+++ b/trees/tt-0001.tree
@@ -18,18 +18,19 @@
   \li{Type theory}
   \li{Sheaf theory}
   \li{Differential sheaves}
-  \li{Synthetic Differential Geometry}
+  \li{SDG (Synthetic Differential Geometry)}
 }
 
 \p{The primary reference for these notes are:}
 
 \ul{
-  \li{[[kostecki2011introduction]]}
-  \li{[[kostecki2009differential]]}
-  \li{[[mallios2015differential]]}
-  \li{[[rosiak2022sheaf]]}
-  \li{[[zhang2021type]]}
-  \li{[[chen2016infinitely]]}
+  \li{[[kostecki2011introduction]]} for a clean introduction from category theory to topos theory
+  \li{[[kostecki2009differential]]} for its introduction to SDG
+  \li{[[mallios2015differential]]} for its introduction to Differential sheaves
+  \li{[[rosiak2022sheaf]]} for its examples of sheaves
+  \li{[[zhang2021type]]} for a friendly introduction to type theory using the language of category theory
+  \li{[[chen2016infinitely]]} for various preliminaries on category theory
+  \li{[[fauser2004grade]]} for the use of Kuperberg graphical calculi over commutative diagrams
 }
 
 \p{Scattered notes:}