Category Theory Courses and Certifications

IIT Kanpur;  NPTEL

Category Theory

Study mathematics from an extrinsic viewpoint through category theory, connecting structures with morphisms, functors, adjunctions, monads, and the Yoneda lemma.

• Swayam
• 12 weeks
• Available until Oct 9, 2026
• Free Online Course

GOTO Conferences

Basic Category Theory - An Introduction to Mathematical Foundations

Explore fundamental concepts of Category Theory through clear explanations of composition, morphisms, and functors, with practical applications in functional programming.

• YouTube
• 33 minutes
• Self-Paced
• Free Video

The Royal Institution

The Joy of Abstract Mathematical Thinking - With Eugenia Cheung

A mathematician uses category theory to show how abstraction and context can reveal relationships across mathematics and everyday life.

• YouTube
• 52 minutes
• Self-Paced
• Free Video

NPTEL-NOC IITM

Monomorphisms, Epimorphisms, and Isomorphisms

Explore monomorphisms, epimorphisms, and isomorphisms in category theory, understanding their definitions, properties, and relationships within mathematical structures.

• YouTube
• 34 minutes
• Self-Paced
• Free Video

Scala Days Conferences

A Pragmatic Introduction to Category Theory

Explore the fundamentals of Category Theory and its practical applications in functional programming, with a focus on Scala implementations and real-world examples.

• YouTube
• 42 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Category Theory - An Abstraction for Anything

An accessible introduction to category theory uses programming examples—graphs, currying, polymorphic functions, and Haskell—to reveal reusable abstraction patterns.

• YouTube
• 36 minutes
• Self-Paced
• Conference Talk

GOTO Conferences

Applied Category Theory - The Emerging Science of Compositionality

Explore compositionality as the bridge between category theory and building larger systems, with concepts and examples spanning programming and other sciences.

• YouTube
• 25 minutes
• Self-Paced
• Conference Talk

Code Sync

Profunctor User Interfaces - Declarative UI Development with Category Theory

Explore how profunctors from category theory can declaratively express user interfaces, covering both static and dynamic aspects using PureScript's Bambik library for Material Design.

• YouTube
• 21 minutes
• Self-Paced
• Free Video

Théorie des Groupes (partie 1) - Une introduction à la théorie des catégories

Ce cours, le premier d'une série de quatre sur la théorie des groupes, est conçu pour des étudiants ayant déjà des connaissances de base dans ce domaine. Il débute par des rappels fondamentaux et une

• edX
• 6 weeks, 3-5 hours a week
• Self-Paced
• Free Online Course (Audit)

GOTO Conferences

Functional Programming from First Principles

Explore functional programming fundamentals, side effects, and the contrast with imperative programming. Delve into concepts like monoids, category theory, and monads in this insightful talk by Erik Meijer.

• YouTube
• 51 minutes
• Self-Paced
• Conference Talk

code::dive conference

Why Algebraic Data Types Are Important

Explore type theory, category theory, and logic in functional programming, focusing on algebraic data types and their role in enhancing code reliability and expressiveness.

• YouTube
• 1 hour 9 minutes
• Self-Paced
• Conference Talk

RustLab Conference

Rust's Trait System as a Proof Engine for ABI Generation

Explore advanced Rust trait system techniques to create stable ABIs, perform type-level computations, and influence type layouts using GATs and const generics.

• YouTube
• 36 minutes
• Self-Paced
• Free Video

The Royal Institution

How Mathematics Influences Our Everyday Life - with Eugenia Cheng

Explore how abstract mathematical concepts connect to social justice, current events, and daily life with mathematician Eugenia Cheng, challenging perceptions of math as rigid and inaccessible.

• YouTube
• 54 minutes
• Self-Paced
• Free Video

NashKnolX

Scala with Cats - Pure Functional Programming Tutorial

Master pure functional programming in Scala using the Cats library through pragmatic examples covering semigroups, monoids, and their real-world applications.

• YouTube
• 1 hour 32 minutes
• Self-Paced
• Free Video

The Royal Institution

A New Way to Understand Quantum Through Visual Diagrams

Discover a revolutionary approach to quantum physics through intuitive diagrams instead of complex mathematics, making quantum mechanics accessible to everyone through visual learning methods.

• YouTube
• 1 hour 22 minutes
• Self-Paced
• Free Video