Add fauser2004grade

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:}