Video/From an Exponentiation Rule to Universal Properties

From PKC
Revision as of 14:08, 26 August 2022 by Benkoo (talk | contribs) (Text replacement - "{{#ev:youtube |" to "{{#widget:YouTube |id=")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Vilela, Douglas (Sep 2, 2020). From an Exponentiation Rule to Universal Properties. local page: Mathematical-Physics & Categorification Group. 


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

Mathematical-Physics & Categorification Group