diff --git a/Pasted image 20210530141159.png b/Pasted image 20210530141159.png
new file mode 100644
index 000000000..9b7a16bb5
Binary files /dev/null and b/Pasted image 20210530141159.png differ
diff --git a/Pasted image 20210530141245.png b/Pasted image 20210530141245.png
new file mode 100644
index 000000000..f5a999e16
Binary files /dev/null and b/Pasted image 20210530141245.png differ
diff --git a/category theory basics.md b/category theory basics.md
index d6d96dd34..5603b14a5 100644
--- a/category theory basics.md	
+++ b/category theory basics.md	
@@ -95,4 +95,12 @@ A converter that converts to the same electrical standard is just an extension t
 
 ![[Pasted image 20210530141124.png]]
 
-iMathematical notion of a categ
\ No newline at end of file
+Mathematical notion of a category
+
+![[Pasted image 20210530141159.png]]
+
+Aside: I think most concepts had been introduced before except one?
+
+"F is a morphism from X to Y"
+
+![[Pasted image 20210530141245.png]]
\ No newline at end of file