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

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

Browse Source 
Affected files:

"Pasted image 20210530142319.png"
"Pasted image 20210530142330.png"
"category theory basics.md"
This commit is contained in:
Flancian
2021-05-30 14:23:57 +02:00
parent 682660b407
commit 0f9cff8a0e
3 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Pasted image 20210530142319.png
BIN
View File
Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 2.0 MiB

Pasted image 20210530142330.png
BIN
View File
Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 2.1 MiB

category theory basics.md
+7 -1
View File
@@ -174,4 +174,10 @@ Contexts leads to [[universal constructions]] and [[universal properties]].
Example: [[categorical product]].
You start with objects, no morphisms. From the left diagram, you you construct a
You start with objects, no morphisms. From the left diagram, you construct one with [[morphisms]]. In this one, we generalize cartesian product.
![[Pasted image 20210530142319.png]]
[[pushouts]] Using the information given by f and g, you [[integrate]] two objects.
![[Pasted image 20210530142330.png]]