Difference between revisions of "Video/Universal properties"
Jump to navigation
Jump to search
| 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.