Difference between revisions of "Video/Universal properties"
Jump to navigation
Jump to search
| 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/> | ||
Revision as of 13:50, 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.