diff --git a/Pasted image 20210530142110.png b/Pasted image 20210530142110.png
new file mode 100644
index 000000000..361a095bb
Binary files /dev/null and b/Pasted image 20210530142110.png differ
diff --git a/category theory basics.md b/category theory basics.md
index fc5b5f495..7a3262b88 100644
--- a/category theory basics.md	
+++ b/category theory basics.md	
@@ -161,3 +161,11 @@ Aside: when you say 'if you compose' something, it'd be nice to have the right n
 Sameness: [[isomorphism]]. Identity is equal to roundtrip.
 
 ![[Pasted image 20210530142018.png]]
+
+A context.
+
+![[Pasted image 20210530142110.png]]
+
+(I needed more time in this slide).
+
+Contexts leads to [[universal constructions]] and [[universal properties]].
\ No newline at end of file