flancian/garden
0
0
Fork 0
mirror of https://github.com/flancian/garden.git synced 2026-08-07 06:56:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

[[snapshot]]: 2021-05-30 14:14:56

Browse Source 
Affected files:

"Pasted image 20210530141404.png"
"Pasted image 20210530141427.png"
"category theory basics.md"
This commit is contained in:
Flancian
2021-05-30 14:14:56 +02:00
parent 9f3c0a4c77
commit a033ac9374
3 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Pasted image 20210530141404.png
BIN
View File
Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 2.5 MiB

Pasted image 20210530141427.png
BIN
View File
Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 2.0 MiB

category theory basics.md
+8 -1
View File
@@ -113,4 +113,11 @@ Composition:
![[Pasted image 20210530141330.png]]
Unitality: identity "works" (I think this was)
Unitality: identity "works" (I think this was the concept I thought hadn't been defined previously):
![[Pasted image 20210530141404.png]]
The [[category of sets and functions]] plays a central role in category.
![[Pasted image 20210530141427.png]]