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

[[snapshot]]: 2021-05-30 14:20:57

Browse Source 
Affected files:

"Pasted image 20210530142018.png"
"category theory basics.md"
This commit is contained in:
Flancian
2021-05-30 14:20:57 +02:00
parent f24009e977
commit 26b7ed7232
2 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Pasted image 20210530142018.png
BIN
View File
Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 1.8 MiB

category theory basics.md
+6 -3
View File
@@ -146,9 +146,7 @@ Category theory is interested in [[relations between morphisms]].
![[Pasted image 20210530141831.png]]
if fg is equal to h, this diagram [[commutes]].
Aside: fix notation in the line above.
if f;g is equal to h, this diagram [[commutes]].
![[Pasted image 20210530141857.png]]
@@ -158,3 +156,8 @@ Aside: when you say 'if you compose' something, it'd be nice to have the right n
[[commutative diagrams]]
![[Pasted image 20210530141956.png]]
Sameness: [[isomorphism]]. Identity is equal to roundtrip.
![[Pasted image 20210530142018.png]]