diff --git a/Pasted image 20210530142319.png b/Pasted image 20210530142319.png
new file mode 100644
index 000000000..4bd20354e
Binary files /dev/null and b/Pasted image 20210530142319.png differ
diff --git a/Pasted image 20210530142330.png b/Pasted image 20210530142330.png
new file mode 100644
index 000000000..47f1576e5
Binary files /dev/null and b/Pasted image 20210530142330.png differ
diff --git a/category theory basics.md b/category theory basics.md
index 52db11d9f..ac1899ad5 100644
--- a/category theory basics.md	
+++ b/category theory basics.md	
@@ -174,4 +174,10 @@ Contexts leads to [[universal constructions]] and [[universal properties]].
 
 Example: [[categorical product]].
 
-You start with objects, no morphisms. From the left diagram, you you construct a 
\ No newline at end of file
+You start with objects, no morphisms. From the left diagram, you construct one with [[morphisms]]. In this one, we generalize cartesian product.
+
+![[Pasted image 20210530142319.png]]
+
+[[pushouts]]  Using the information given by f and g, you [[integrate]] two objects.
+
+![[Pasted image 20210530142330.png]]