Video/Universal properties

From PKC
Revision as of 13:49, 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 this video[1].

References

  1. ↑ Tubbenhauer, Daniel (Jan 12, 2022). What are...universal properties?. local page: VisualMath. 

Related Pages

Fredrik Nordvall Forsberg

Retrieved from "https://pkc.pub/index.php?title=Video/Universal_properties&oldid=27659"