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

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

Browse Source 
Affected files:

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

After

Width:  |  Height:  |  Size: 1.9 MiB

category theory basics.md
+8 -1
View File
@@ -87,5 +87,12 @@ Identity morphism for functions: the identity function.
![[Pasted image 20210530140955.png]] ![[Pasted image 20210530140955.png]]
A converter that converts to the same electrical standard is just an extension that can become a converter of any type. A converter that converts to the same electrical standard is just an extension that can become a converter of any type with one additional composition.
![[Pasted image 20210530141056.png]]
[[identity journeys]] (aside: I call these [[excursions]])
![[Pasted image 20210530141124.png]]
iMathematical notion of a categ