diff --git a/Pasted image 20210530142206.png b/Pasted image 20210530142206.png
new file mode 100644
index 000000000..4bd20354e
Binary files /dev/null and b/Pasted image 20210530142206.png differ
diff --git a/category theory basics.md b/category theory basics.md
index 7a3262b88..52db11d9f 100644
--- a/category theory basics.md	
+++ b/category theory basics.md	
@@ -166,6 +166,12 @@ A context.
 
 ![[Pasted image 20210530142110.png]]
 
-(I needed more time in this slide).
+(Aside: I needed more time in this slide).
 
-Contexts leads to [[universal constructions]] and [[universal properties]].
\ No newline at end of file
+Contexts leads to [[universal constructions]] and [[universal properties]].
+
+![[Pasted image 20210530142206.png]]
+
+Example: [[categorical product]].
+
+You start with objects, no morphisms. From the left diagram, you you construct a 
\ No newline at end of file