Difference between revisions of "Video/Universal properties"
Jump to navigation
Jump to search
| (One intermediate revision by the same user not shown) | |||
| Line 16: | Line 16: | ||
This is a video presented by an [[Agda]] programmer. | This is a video presented by an [[Agda]] programmer. | ||
One could also look at | One could also look at the following video<ref>{{:Video/What are...universal properties?}}</ref>: [[Video/What are...universal properties?|What are ...universal properties?]]. | ||
=References= | =References= | ||
<references/> | <references/> | ||
| Line 23: | Line 23: | ||
[[Category:Category Theory]] | [[Category:Category Theory]] | ||
[[Category:Universality]] | [[Category:Universality]] | ||
[[Category:Universal Property]] | |||
[[Category:Agda]] | [[Category:Agda]] | ||
</noinclude> | </noinclude> | ||
Latest revision as of 13:57, 17 March 2022
Forsberg, Fredrik Nordvall (Jan 12, 2022). Universal properties. local page: Fredrik Nordvall Forsberg.
{{#ev:youtube
|kszqIQqMN6E
}}
This is a video presented by an Agda programmer. One could also look at the following video[1]: What are ...universal properties?.
References
- ↑ Tubbenhauer, Daniel (Jan 12, 2022). What are...universal properties?. local page: VisualMath.