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

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

Browse Source 
Affected files:

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

After

Width:  |  Height:  |  Size: 2.3 MiB

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

After

Width:  |  Height:  |  Size: 2.4 MiB

category theory basics.md
+12 -2
View File
@@ -101,6 +101,16 @@ Mathematical notion of a category
Aside: I think most concepts had been introduced before except one?
"F is a morphism from X to Y"
"F is a morphism from X to Y":
![[Pasted image 20210530141245.png]]
![[Pasted image 20210530141245.png]]
Identity morphisms:
![[Pasted image 20210530141302.png]]
Composition:
![[Pasted image 20210530141330.png]]
Unitality: identity "works" (I think this was)