diff --git a/Pasted image 20210530140711.png b/Pasted image 20210530140711.png
new file mode 100644
index 000000000..03623b783
Binary files /dev/null and b/Pasted image 20210530140711.png differ
diff --git a/Pasted image 20210530140748.png b/Pasted image 20210530140748.png
new file mode 100644
index 000000000..db6bc29ae
Binary files /dev/null and b/Pasted image 20210530140748.png differ
diff --git a/category theory basics.md b/category theory basics.md
index 2e6e3dfed..a7e2caf2a 100644
--- a/category theory basics.md	
+++ b/category theory basics.md	
@@ -67,3 +67,12 @@ Common feature of all examples: they are a[[associative]]. The order of *composi
 
 ![[Pasted image 20210530140623.png]]
 ![[Pasted image 20210530140657.png]]
+![[Pasted image 20210530140711.png]]
+
+This was [[true]] for all the examples we looked at so far.
+
+Associativity means that brackets are not needed.
+
+![[Pasted image 20210530140748.png]]
+
+As