diff --git a/Pasted image 20210530140312.png b/Pasted image 20210530140312.png
new file mode 100644
index 000000000..d8dcf77cd
Binary files /dev/null and b/Pasted image 20210530140312.png differ
diff --git a/Pasted image 20210530140330.png b/Pasted image 20210530140330.png
new file mode 100644
index 000000000..2e43c7ed6
Binary files /dev/null and b/Pasted image 20210530140330.png differ
diff --git a/category theory basics.md b/category theory basics.md
index 0271ff567..06710d084 100644
--- a/category theory basics.md	
+++ b/category theory basics.md	
@@ -46,3 +46,10 @@ The fundamental example is mathematical; composing functions as sets.
 
 Aside: we should put this on youtube.
 
+We'll be used 'then' notations for compositions, not traditional.
+
+![[Pasted image 20210530140255.png]]
+![[Pasted image 20210530140312.png]]
+
+We'll relate [[objects]]. The things doing the relating are [[morphisms]].
+![[Pasted image 20210530140330.png]]
\ No newline at end of file