Video/Universal properties

From PKC
Revision as of 13:50, 17 March 2022 by Benkoo (talk | contribs)
Jump to navigation Jump to search

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

Related Pages

Fredrik Nordvall Forsberg