Mathematics·Standalone Lecture·Formal Methods & Type Theory · Joel David Hamkins · University of Oxford
1:36:50
Academic Discipline
Mathematics
Linear algebra, real and complex analysis, topology, differential geometry, probability, combinatorics, and number theory.
18courses132standalone talks428total lectures
Subfields
jknavigate↵watchcchaptersssavexwatched
Save
Category Theory for Programmers · Lec 4·Categories, Functors, Adjunctions & Topos Theory · Bartosz Milewski · Independent Scholar
46:46