diff --git a/Pasted image 20210530141942.png b/Pasted image 20210530141942.png
new file mode 100644
index 000000000..95c86127c
Binary files /dev/null and b/Pasted image 20210530141942.png differ
diff --git a/Pasted image 20210530141956.png b/Pasted image 20210530141956.png
new file mode 100644
index 000000000..6a6e9f34d
Binary files /dev/null and b/Pasted image 20210530141956.png differ
diff --git a/category theory basics.md b/category theory basics.md
index 601987da8..a700d59b8 100644
--- a/category theory basics.md	
+++ b/category theory basics.md	
@@ -146,4 +146,15 @@ Category theory is interested in [[relations between morphisms]].
 
 ![[Pasted image 20210530141831.png]]
 
-if fg is equal to h, this diagram [[com]]
\ No newline at end of file
+if fg is equal to h, this diagram [[commutes]].
+
+Aside: fix notation in the line above.
+
+![[Pasted image 20210530141857.png]]
+
+Aside: when you say 'if you compose' something, it'd be nice to have the right notation for the composition on screen.
+
+![[Pasted image 20210530141942.png]]
+
+[[commutative diagrams]]
+