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...") |
|||
| Line 15: | Line 15: | ||
}} | }} | ||
This is a video presented by an [[Agda]] programmer. | |||
One could also look at this video<ref>{{:Video/What are...universal properties?}}</ref>. | One could also look at this video<ref>{{:Video/What are...universal properties?}}</ref>. | ||
=References= | =References= | ||
| Line 22: | Line 23: | ||
[[Category:Category Theory]] | [[Category:Category Theory]] | ||
[[Category:Universality]] | [[Category:Universality]] | ||
[[Category:Agda]] | |||
</noinclude> | </noinclude> | ||
Revision as of 13:49, 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 this video[1].
References
- ↑ Tubbenhauer, Daniel (Jan 12, 2022). What are...universal properties?. local page: VisualMath.