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

YouTube

Category Theory - An Abstraction for Anything

Strange Loop Conference via YouTube

Overview

Explore the fundamentals of category theory and its applications in programming through this 36-minute conference talk from Strange Loop 2013. Delve into the mathematically sound foundation of category theory, learning how to create collections of objects and express morphisms between them. Discover how these elements, combined with simple rules, form categories that yield powerful results like the uniqueness of identity morphisms. Examine the relationships between categories and uncover practical abstractions. Grasp the accessibility of category theory's core concepts and their ability to formalize concrete ideas such as directed acyclic graphs, currying, polymorphic functions, and even Haskell itself. Gain insights into recognizing category-theoretical patterns in your own programming projects as you journey through specific examples of categories, functors, and natural transformations.

Syllabus

"Category Theory: An Abstraction for Anything" by Alissa Pajer (2013)

Taught by

Strange Loop Conference

Reviews

Start your review of Category Theory - An Abstraction for Anything

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.