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

---
 2021-07-28.md      | 4 +++-
 category theory.md | 7 +++----
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/2021-07-28.md b/2021-07-28.md
index 8f3e728a8..034c92eee 100644
--- a/2021-07-28.md
+++ b/2021-07-28.md
@@ -4,4 +4,6 @@
 	- [[hippie speedball]] (good)
 - [[ethan]] 
 	- [[ethanshamilton]]
-- [[gyuri]]
\ No newline at end of file
+- [[gyuri]]
+- [[boris mann]]
+- [[category theory]]
\ No newline at end of file
diff --git a/category theory.md b/category theory.md
index 377bfa2d5..b2ed16456 100644
--- a/category theory.md	
+++ b/category theory.md	
@@ -1,10 +1,9 @@
-# Category Theory
-
 - A [[curriculum]].
-  - See [[mini curriculum on applied category theory and engineering]]
+  - 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