diff --git a/Pasted image 20210530140421.png b/Pasted image 20210530140421.png new file mode 100644 index 000000000..9e0236856 Binary files /dev/null and b/Pasted image 20210530140421.png differ diff --git a/category theory basics.md b/category theory basics.md index 06710d084..dbe40504c 100644 --- a/category theory basics.md +++ b/category theory basics.md @@ -52,4 +52,11 @@ We'll be used 'then' notations for compositions, not traditional. ![[Pasted image 20210530140312.png]] We'll relate [[objects]]. The things doing the relating are [[morphisms]]. -![[Pasted image 20210530140330.png]] \ No newline at end of file + +(here there should be a better screenshot, I couldn't get it on time) +![[Pasted image 20210530140421.png]] +![[Pasted image 20210530140330.png]] + +Each morphism has a [[source]] and a [[target]]. + +We can compose \ No newline at end of file