YoVDO

Category Theory - An Abstraction for Anything

Offered By: Strange Loop Conference via YouTube

Tags

Strange Loop Conference Courses Mathematics Courses Programming Courses Functors Courses Category Theory Courses

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.jl
The 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