diff --git a/Pasted image 20210530135718.png b/Pasted image 20210530135718.png
new file mode 100644
index 000000000..e3d74122a
Binary files /dev/null and b/Pasted image 20210530135718.png differ
diff --git a/Pasted image 20210530135755.png b/Pasted image 20210530135755.png
new file mode 100644
index 000000000..5b1fea6ca
Binary files /dev/null and b/Pasted image 20210530135755.png differ
diff --git a/category theory basics.md b/category theory basics.md
index 8ea267649..97938180d 100644
--- a/category theory basics.md	
+++ b/category theory basics.md	
@@ -9,4 +9,10 @@ Notions that are important in category theory. Commutative diagrams; categories
 
 Aside: I'm reading Feynman and this fits in amazingly well with the introduction of that book, six easy pieces.
 
-An [[elegant framework]] for reasoning about situations where we are composing stuff together.
\ No newline at end of file
+An [[elegant framework]] for reasoning about situations where we are composing stuff together. [[modeling]], [[computation]].
+
+Category theory is about [[composing stuff]] together.
+
+![[Pasted image 20210530135718.png]]
+
+Example: composing [[journeys]].
\ No newline at end of file