Applied Category Theory Course

Child Categories

• Applied Category Theory Exercises

  Let's do one discussion for each exercise in the book.

  138 discussions 462 comments

• Applied Category Theory Discussion Groups

  Talk to people with similar interests in the Applied Category Theory course!

  40 discussions 314 comments

• Applied Category Theory Formula Examples

  A place to make sample posts showing how to exercise Mathjax formula rendering.

  15 discussions 8 comments

• Lecture 48 - Chapter 3: Adjoint Functors

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 29 Last comment by Anindya Bhattacharyya Last active 49 minutes ago
• Lecture 47 - Chapter 3: Adjoint Functors

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 22 Last comment by Dan Oneata Last active 2 hours ago
• Lecture 46 - Chapter 3: Isomorphisms

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 25 Last comment by Ignacio Peixoto Last active 5 hours ago
• Lecture 44 - Chapter 3: Categories, Functors and Natural Transformations

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 63 Last comment by Cheuk Man Hwang Last active 11 hours ago
• Lecture 49 - Chapter 3: Kan Extensions

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 6 Last comment by John Baez Last active 19 hours ago
• Lecture 50 - Chapter 3: Kan Extensions

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 0 Last active 22 hours ago
• Lecture 45 - Chapter 3: Composing Natural Transformations

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 15 Last comment by John Baez Last active 4 days ago
• Lecture 42 - Chapter 3: Transforming Databases

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 50 Last comment by John Baez Last active 4 days ago
• Lecture 43 - Chapter 3: Natural Transformations

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 26 Last comment by Ryan Wisnesky Last active 7 days ago
• Lecture 41 - Chapter 3: Composing Functors

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 32 Last comment by Keith E. Peterson Last active 11 Jun 2018
• Welcome to the Applied Category Theory Course!

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 10 Last comment by Daniel Blank Last active 09 Jun 2018
• Chapter 3

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 7 Last comment by John Baez Last active 05 Jun 2018
• Lecture 40 - Chapter 3: Relations

  Category Applied Category Theory Course 0 points Started by John Baez Comments 67 Last comment by Jesus Lopez Last active 29 minutes ago
• Lecture 13 - Chapter 1: Pulling Back Partitions

  Category Applied Category Theory Course 0 points Started by John Baez Comments 25 Last comment by Charles Clingen Last active 2 days ago
• Lecture 33 - Chapter 2: Tying Up Loose Ends

  Category Applied Category Theory Course 0 points Started by John Baez Comments 35 Last comment by Keith E. Peterson Last active 3 days ago
• Eugenia Cheng on "Category theory in life"

  Category Applied Category Theory Course 0 points Started by John Baez Comments 10 Last comment by Keith E. Peterson Last active 4 days ago
• Fun With Recurrences

  Category Applied Category Theory Course 0 points Started by Matthew Doty Comments 21 Last comment by Mart Malakoff Last active 5 days ago
• Lecture 6 - Chapter 1: Computing Adjoints

  Category Applied Category Theory Course 0 points Started by John Baez Comments 80 Last comment by Martin MacKerel Last active 5 days ago
• Lecture 35 - Chapter 3: Categories versus Preorders

  Category Applied Category Theory Course 0 points Started by John Baez Comments 47 Last comment by Jesus Lopez Last active 5 days ago
• Lecture 34 - Chapter 3: Categories

  Category Applied Category Theory Course 0 points Started by John Baez Comments 27 Last comment by Igor Kulieshov Last active 6 days ago
• Tropical Algebra for Railway Optimization

  Category Applied Category Theory Course 0 points Started by John Baez Comments 9 Last comment by Jesus Lopez Last active 11 Jun 2018
• Lecture 39 - Chapter 3: Databases

  Category Applied Category Theory Course 0 points Started by John Baez Comments 55 Last comment by John Baez Last active 11 Jun 2018
• Chapter 1

  Category Applied Category Theory Course 0 points Started by John Baez Comments 197 Last comment by Daniel Blank Last active 08 Jun 2018
• Lecture 25 - Chapter 2: Reaction Networks

  Category Applied Category Theory Course 0 points Started by John Baez Comments 32 Last comment by Keith E. Peterson Last active 08 Jun 2018
• Lecture 5 - Chapter 1: Galois Connections

  Category Applied Category Theory Course 0 points Started by John Baez Comments 22 Last comment by Owen Biesel Last active 07 Jun 2018
• Lecture 36 - Categories from Graphs

  Category Applied Category Theory Course 0 points Started by John Baez Comments 90 Last comment by Christopher Upshaw Last active 06 Jun 2018
• Lecture 38 - Chapter 3: Functors

  Category Applied Category Theory Course 0 points Started by John Baez Comments 22 Last comment by Robert Figura Last active 05 Jun 2018
• Lecture 29 - Chapter 2: Enriched Categories

  Category Applied Category Theory Course 0 points Started by John Baez Comments 110 Last comment by John Baez Last active 04 Jun 2018
• Lecture 37 - Chapter 3: Presentations of Categories

  Category Applied Category Theory Course 0 points Started by John Baez Comments 17 Last comment by John Baez Last active 04 Jun 2018
• Lecture 18 - Chapter 2: Resource Theories

  Category Applied Category Theory Course 0 points Started by John Baez Comments 59 Last comment by Rif A. Saurous Last active 04 Jun 2018