From b5f88534eacd7e8d9973ab7da315563d1381fad5 Mon Sep 17 00:00:00 2001
From: Flancian <0@flancia.org>
Date: Wed, 28 Jul 2021 20:41:48 +0200
Subject: [PATCH] vault backup: 2021-07-28 20:41:48

---
 category theory.md | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

diff --git a/category theory.md b/category theory.md
index b2ed16456..370a5b20e 100644
--- a/category theory.md	
+++ b/category theory.md	
@@ -1,9 +1,12 @@
-- A [[curriculum]].
-  - See [[mini curriculum on applied category theory and engineering design]]
-  - [[seven sketches]] an introductory book on category theory from a unique applied perspective
-    - At Cambridge University Press: https://www.cambridge.org/core/books/an-invitation-to-applied-category-theory/D4C5E5C2B019B2F9B8CE9A4E9E84D6BC
-    - ArXiv free version: https://arxiv.org/pdf/1803.05316.pdf
-    - Pirated final version: http://library.lol/main/C61E1736381D70DB2E3EE27829D00012
-    - MIT course on category theory and programming (bridging the math and programming ways of speaking) http://www.brendanfong.com/programmingcats.html
+
 - a [[tool]]
-	- [[wp]] https://en.wikipedia.org/
\ No newline at end of file
+	- [[math]]
+	- [[wp]] https://en.wikipedia.org/Category_Theory
+		- [[go]] [[wp]]
+	- [[pull]] [[mini curriculum on applied category theory and engineering design]]
+	- [[category]]
+	- [[seven sketches]] is an introductory book on category theory from a unique applied perspective
+		- At Cambridge University Press: https://www.cambridge.org/core/books/an-invitation-to-applied-category-theory/D4C5E5C2B019B2F9B8CE9A4E9E84D6BC
+		- ArXiv free version: https://arxiv.org/pdf/1803.05316.pdf
+		- Pirated final version: http://library.lol/main/C61E1736381D70DB2E3EE27829D00012
+		- MIT course on category theory and programming (bridging the math and programming ways of speaking) http://www.brendanfong.com/programmingcats.html
\ No newline at end of file