Category Theory for Programmers · Lec 1·Categories, Functors, Adjunctions & Topos Theory · Bartosz Milewski · Independent Scholar
51:27
Academic Discipline
Mathematics
Linear algebra, real and complex analysis, topology, differential geometry, probability, combinatorics, and number theory.
18courses132standalone talks428total lectures
Subfields
jknavigate↵watchcchaptersssavexwatched
Save
29:11
Category Theory for Programmers · Lec 2·Categories, Functors, Adjunctions & Topos Theory · Bartosz Milewski · Independent Scholar
54:10
Category Theory for Programmers · Lec 3·Categories, Functors, Adjunctions & Topos Theory · Bartosz Milewski · Independent Scholar
41:58
24:46
Systems & CS·Public Colloquium·Topology & Geometry · Christian Lawson-Perfect · London Mathematical Society
33:16
Category Theory for Programmers · Lec 11·Formal Methods & Type Theory · Bartosz Milewski · Independent Scholar
33:14
Category Theory for Programmers · Lec 10·Categories, Functors, Adjunctions & Topos Theory · Bartosz Milewski · Independent Scholar
51:36
Showing 8 of 8 lectures5.3h shown