diff --git a/Pasted image 20210530142425.png b/Pasted image 20210530142425.png
new file mode 100644
index 000000000..dcd325939
Binary files /dev/null and b/Pasted image 20210530142425.png differ
diff --git a/category theory basics.md b/category theory basics.md
index ac1899ad5..5ed6ba6e3 100644
--- a/category theory basics.md	
+++ b/category theory basics.md	
@@ -178,6 +178,12 @@ You start with objects, no morphisms. From the left diagram, you construct one w
 
 ![[Pasted image 20210530142319.png]]
 
-[[pushouts]]  Using the information given by f and g, you [[integrate]] two objects.
+[[pushouts]]  Using the information given by f and g, you [[integrate]] two objects (check).
 
 ![[Pasted image 20210530142330.png]]
+
+Additional structures: [[monoidal products]]. A way to compose objects and morphisms "in parallel".
+
+(Aside: it would be nice to have original and post-)
+
+![[Pasted image 20210530142425.png]]