Category Theory - An Abstraction for Anything
Offered By: Strange Loop Conference via YouTube
Course Description
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
Tags
Related Courses
Unleashing Algebraic Metaprogramming in Julia with Metatheory.jlThe Julia Programming Language via YouTube COSC250 - Functional and Reactive Programming
Independent Free as in Monads - Understanding and Applying Free Monads - Lecture 44
ChariotSolutions via YouTube Generalised Integrated Information Theories
Models of Consciousness Conferences via YouTube Reasoning About Conscious Experience With Axiomatic and Graphical Mathematics
Models of Consciousness Conferences via YouTube