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:21:57

Browse Source 
Affected files:

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

After

Width:  |  Height:  |  Size: 1.9 MiB

category theory basics.md
+8
View File
@@ -161,3 +161,11 @@ Aside: when you say 'if you compose' something, it'd be nice to have the right n
Sameness: [[isomorphism]]. Identity is equal to roundtrip.
![[Pasted image 20210530142018.png]]
A context.
![[Pasted image 20210530142110.png]]
(I needed more time in this slide).
Contexts leads to [[universal constructions]] and [[universal properties]].