Applied Category Theory Course

Child Categories

• Applied Category Theory Exercises

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

  149 discussions 520 comments

• Applied Category Theory Discussion Groups

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

  43 discussions 347 comments

• Applied Category Theory Formula Examples

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

  15 discussions 9 comments

• Open Petri nets

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 9 Last comment by Christopher Upshaw Last active 3 hours ago
• Lecture 69 - Chapter 4: Feedback in Collaborative Design

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 37 Last comment by Christopher Upshaw Last active 7 hours ago
• Lecture 71 - Caps and Cups for Enriched Profunctors

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 7 Last comment by Dan Oneata Last active 14 hours ago
• How the Course Is Going 2

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 34 Last comment by Pierre Prado Last active 3 days ago
• Lecture 70 - Tensoring Enriched Profunctors

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 26 Last comment by Scott Oswald Last active 3 days ago
• Just For Fun 5

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 7 Last comment by John Baez Last active 4 days ago
• Lecture 68 - Chapter 4: Feedback in Collaborative Design

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 29 Last comment by Scott Oswald Last active 08 Aug 2018
• Lecture 67 - Chapter 4: Feedback in Collaborative Design

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 36 Last comment by John Baez Last active 08 Aug 2018
• Lecture 66 - Chapter 4: Collaborative Design

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 60 Last comment by Michael Hong Last active 04 Aug 2018
• Lecture 65 - Chapter 4: Collaborative Design

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 15 Last comment by John Baez Last active 26 Jul 2018
• Welcome to the Applied Category Theory Course!

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 11 Last comment by John Baez Last active 15 Jul 2018
• Chapter 4

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 2 Last comment by John Baez Last active 14 Jul 2018
• Lecture 55 - Chapter 4: Enriched Profunctors and Collaborative Design

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 16 Last comment by John Baez Last active 07 Jul 2018
• Lecture 51 - Chapter 3: Right Kan Extensions

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 7 Last comment by John Baez Last active 02 Jul 2018
• Lecture 63 - Chapter 4: Composing Enriched Profunctors

  Category Applied Category Theory Course 0 points Started by John Baez Comments 29 Last comment by John Baez Last active 2 days ago
• Lecture 64 - Chapter 4: The Category of Enriched Profunctors

  Category Applied Category Theory Course 0 points Started by John Baez Comments 14 Last comment by John Baez Last active 2 days ago
• Lecture 44 - Chapter 3: Categories, Functors and Natural Transformations

  Category Applied Category Theory Course 0 points Started by John Baez Comments 82 Last comment by Scott Oswald Last active 3 days ago
• Lecture 56 - Chapter 4: Feasibility Relations

  Category Applied Category Theory Course 0 points Started by John Baez Comments 17 Last comment by John Baez Last active 5 days ago
• Lecture 4 - Chapter 1: Galois Connections

  Category Applied Category Theory Course 0 points Started by John Baez Comments 92 Last comment by Jake Gillberg Last active 6 days ago
• Scenius

  Category Applied Category Theory Course 0 points Started by Jesus Lopez Comments 0 Last active 09 Aug 2018
• Lecture 43 - Chapter 3: Natural Transformations

  Category Applied Category Theory Course 0 points Started by John Baez Comments 32 Last comment by Alex Varga Last active 06 Aug 2018
• Chapter 1

  Category Applied Category Theory Course 0 points Started by John Baez Comments 198 Last comment by Brandon Barker Last active 01 Aug 2018
• Just For Fun 1

  Category Applied Category Theory Course 0 points Started by John Baez Comments 26 Last comment by Maria Mannone Last active 31 Jul 2018
• Lecture 62 - Chapter 4: Constructing Enriched Categories

  Category Applied Category Theory Course 0 points Started by John Baez Comments 66 Last comment by Matthew Doty Last active 24 Jul 2018
• Chapter 3

  Category Applied Category Theory Course 0 points Started by John Baez Comments 12 Last comment by Scott Oswald Last active 19 Jul 2018
• Lecture 59 - Chapter 4: Cost-Enriched Profunctors

  Category Applied Category Theory Course 0 points Started by John Baez Comments 26 Last comment by Scott Oswald Last active 19 Jul 2018
• Lecture 60 - Chapter 4: Closed Monoidal Posets

  Category Applied Category Theory Course 0 points Started by John Baez Comments 30 Last comment by Christopher Upshaw Last active 18 Jul 2018
• Lecture 58 - Chapter 4: Composing Feasibility Relations

  Category Applied Category Theory Course 0 points Started by John Baez Comments 42 Last comment by John Baez Last active 17 Jul 2018
• Lecture 53 - Chapter 3: Free and Forgetful Functors

  Category Applied Category Theory Course 0 points Started by John Baez Comments 73 Last comment by John Baez Last active 17 Jul 2018
• Lecture 61 - Chapter 4: Closed Monoidal Posets

  Category Applied Category Theory Course 0 points Started by John Baez Comments 21 Last comment by Christopher Upshaw Last active 16 Jul 2018
• Lecture 54 - Chapter 3: Tying Up Loose Ends

  Category Applied Category Theory Course 0 points Started by John Baez Comments 22 Last comment by Bartosz Milewski Last active 16 Jul 2018
• Lecture 45 - Chapter 3: Composing Natural Transformations

  Category Applied Category Theory Course 0 points Started by John Baez Comments 18 Last comment by Balachandran Chandrasekharan Last active 16 Jul 2018
• Lecture 48 - Chapter 3: Adjoint Functors

  Category Applied Category Theory Course 0 points Started by John Baez Comments 40 Last comment by John Baez Last active 15 Jul 2018