diff --git a/Pasted image 20210530140623.png b/Pasted image 20210530140623.png
new file mode 100644
index 000000000..9e01b48d1
Binary files /dev/null and b/Pasted image 20210530140623.png differ
diff --git a/category theory basics.md b/category theory basics.md
index 209673dad..12ab60c70 100644
--- a/category theory basics.md	
+++ b/category theory basics.md	
@@ -61,7 +61,9 @@ Each morphism has a [[source]] and a [[target]].
 
 We can compose morphisms when the target of the first matches the source of the second.
 
-Common feature of all examples: they are a[[associative]].
+Common feature of all examples: they are a[[associative]]. The order of *composition* doesn't matter; the order of application may. (check)
 
 ![[Pasted image 20210530140543.png]]
 
+![[Pasted image 20210530140623.png]]
+