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

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

Browse Source 
Affected files:

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

After

Width:  |  Height:  |  Size: 2.6 MiB

category theory basics.md
+3 -1
View File
@@ -184,6 +184,8 @@ You start with objects, no morphisms. From the left diagram, you construct one w
Additional structures: [[monoidal products]]. A way to compose objects and morphisms "in parallel".
(Aside: it would be nice to have original and post-)
(Aside: it would be nice to have original and post application of composition side by side or top to bottom).
(Aside: missing screenshot here, find in Pictures)
![[Pasted image 20210530142541.png]]
![[Pasted image 20210530142425.png]]