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

[[snapshot]]: 2021-05-30 14:04:55

Browse Source 
Affected files:

"Pasted image 20210530140421.png"
"category theory basics.md"
This commit is contained in:
Flancian
2021-05-30 14:04:55 +02:00
parent a3a4885fb3
commit dadbca241e
2 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Pasted image 20210530140421.png
BIN
View File
Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 1.9 MiB

category theory basics.md
+7
View File
@@ -52,4 +52,11 @@ We'll be used 'then' notations for compositions, not traditional.
![[Pasted image 20210530140312.png]] ![[Pasted image 20210530140312.png]]
We'll relate [[objects]]. The things doing the relating are [[morphisms]]. We'll relate [[objects]]. The things doing the relating are [[morphisms]].
(here there should be a better screenshot, I couldn't get it on time)
![[Pasted image 20210530140421.png]]
![[Pasted image 20210530140330.png]] ![[Pasted image 20210530140330.png]]
Each morphism has a [[source]] and a [[target]].
We can compose