Difference between revisions of "Video/Universal properties"
Jump to navigation
Jump to search
(Created page with "{{cite book |first=Fredrik Nordvall |last=Forsberg |author-link=Fredrik Nordvall Forsberg |date=Jan 12, 2022 |title=Universal properties |url=https://www.youtube.com/wat...") |
|||
| (2 intermediate revisions by the same user not shown) | |||
| Line 15: | Line 15: | ||
}} | }} | ||
One could also look at | This is a video presented by an [[Agda]] programmer. | ||
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 22: | Line 23: | ||
[[Category:Category Theory]] | [[Category:Category Theory]] | ||
[[Category:Universality]] | [[Category:Universality]] | ||
[[Category:Universal Property]] | |||
[[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.