diff --git a/Pasted image 20210530141809.png b/Pasted image 20210530141809.png
new file mode 100644
index 000000000..a75edff9c
Binary files /dev/null and b/Pasted image 20210530141809.png differ
diff --git a/Pasted image 20210530141831.png b/Pasted image 20210530141831.png
new file mode 100644
index 000000000..8385eba49
Binary files /dev/null and b/Pasted image 20210530141831.png differ
diff --git a/Pasted image 20210530141857.png b/Pasted image 20210530141857.png
new file mode 100644
index 000000000..8bf3701ba
Binary files /dev/null and b/Pasted image 20210530141857.png differ
diff --git a/category theory basics.md b/category theory basics.md
index ab4fd2866..601987da8 100644
--- a/category theory basics.md	
+++ b/category theory basics.md	
@@ -138,4 +138,12 @@ Any directed graph generates a category.
 
 (Aside: a directed graph generates dependency trees.)
 
-But categories are [[richer]] than [[dags]] 
\ No newline at end of file
+But categories are [[richer]] than [[directed graphs]], so they aren't used that much as such.
+
+![[Pasted image 20210530141809.png]]
+
+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