diff --git a/Pasted image 20210530141124.png b/Pasted image 20210530141124.png
new file mode 100644
index 000000000..8158088ef
Binary files /dev/null and b/Pasted image 20210530141124.png differ
diff --git a/category theory basics.md b/category theory basics.md
index 3298bcebf..d6d96dd34 100644
--- a/category theory basics.md	
+++ b/category theory basics.md	
@@ -87,5 +87,12 @@ Identity morphism for functions: the identity function.
 
 ![[Pasted image 20210530140955.png]]
 
-A converter that converts to the same electrical standard is just an extension that can become a converter of any type.
+A converter that converts to the same electrical standard is just an extension that can become a converter of any type with one additional composition.
 
+![[Pasted image 20210530141056.png]]
+
+[[identity journeys]] (aside: I call these [[excursions]])
+
+![[Pasted image 20210530141124.png]]
+
+iMathematical notion of a categ
\ No newline at end of file