diff --git a/Pasted image 20210530141507.png b/Pasted image 20210530141507.png new file mode 100644 index 000000000..1f9778d2e Binary files /dev/null and b/Pasted image 20210530141507.png differ diff --git a/Pasted image 20210530141542.png b/Pasted image 20210530141542.png new file mode 100644 index 000000000..b6f9469a8 Binary files /dev/null and b/Pasted image 20210530141542.png differ diff --git a/category theory basics.md b/category theory basics.md index 2bb3f09f8..1be47115e 100644 --- a/category theory basics.md +++ b/category theory basics.md @@ -117,7 +117,14 @@ Unitality: identity "works" (I think this was the concept I thought hadn't been ![[Pasted image 20210530141404.png]] -The [[category of sets and functions]] plays a central role in category. +The [[category of sets and functions]] plays a central role in category: ![[Pasted image 20210530141427.png]] +The [[category of plugs and chords]]: + +![[Pasted image 20210530141507.png]] + +The [[category of journeys]]: + +![[Pasted image 20210530141542.png]] \ No newline at end of file