Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Programming with Categories

Topos Institute via YouTube

Overview

Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore the mathematical foundations of programming through category theory in this comprehensive lecture series from the Topos Institute spanning over 15 hours across 18 detailed sessions. Dive deep into categorical thinking and its applications to computer science, learning how abstract mathematical structures can provide powerful frameworks for understanding computation, data types, and program design. Master fundamental concepts including functors, natural transformations, limits and colimits, and their practical implementations in programming languages. Discover how category theory serves as a unifying language for mathematics and computer science, providing elegant solutions to complex programming problems. Gain insights into advanced topics such as monads, adjunctions, and topos theory while developing the mathematical maturity needed to apply categorical concepts in software development and theoretical computer science research.

Syllabus

Teaser - Programming with Categories
Programming with Categories - Lecture 0
Programming with Categories - Lecture 1
Programming with Categories - Lecture 2
Programming with Categories - Lecture 3
Programming with Categories - Lecture 4
Programming with Categories - Lecture 5
Programming with Categories - Lecture 6
Programming with Categories - Lecture 7
Programming with Categories - Lecture 8
Programming with Categories - Lecture 9
Programming with Categories - Lecture 10
Programming with Categories - Lecture 11
Programming with Categories - Lecture 12
Programming with Categories - Lecture 13
Programming with Categories - Lecture 14
Programming with Categories - Lecture 15
Programming with Categories - Lecture 16
Programming with Categories - Lecture 17

Taught by

Topos Institute

Reviews

Start your review of Programming with Categories

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.