diff --git a/Pasted image 20210530141302.png b/Pasted image 20210530141302.png
new file mode 100644
index 000000000..e3ff85702
Binary files /dev/null and b/Pasted image 20210530141302.png differ
diff --git a/Pasted image 20210530141330.png b/Pasted image 20210530141330.png
new file mode 100644
index 000000000..217d526cb
Binary files /dev/null and b/Pasted image 20210530141330.png differ
diff --git a/category theory basics.md b/category theory basics.md
index 5603b14a5..69134d0c8 100644
--- a/category theory basics.md	
+++ b/category theory basics.md	
@@ -101,6 +101,16 @@ Mathematical notion of a category
 
 Aside: I think most concepts had been introduced before except one?
 
-"F is a morphism from X to Y"
+"F is a morphism from X to Y":
 
-![[Pasted image 20210530141245.png]]
\ No newline at end of file
+![[Pasted image 20210530141245.png]]
+
+Identity morphisms:
+
+![[Pasted image 20210530141302.png]]
+
+Composition:
+
+![[Pasted image 20210530141330.png]]
+
+Unitality: identity "works" (I think this was)
\ No newline at end of file