diff --git a/Pasted image 20210530140543.png b/Pasted image 20210530140543.png new file mode 100644 index 000000000..6e381b230 Binary files /dev/null and b/Pasted image 20210530140543.png differ diff --git a/category theory basics.md b/category theory basics.md index dbe40504c..209673dad 100644 --- a/category theory basics.md +++ b/category theory basics.md @@ -59,4 +59,9 @@ We'll relate [[objects]]. The things doing the relating are [[morphisms]]. Each morphism has a [[source]] and a [[target]]. -We can compose \ No newline at end of file +We can compose morphisms when the target of the first matches the source of the second. + +Common feature of all examples: they are a[[associative]]. + +![[Pasted image 20210530140543.png]] +