Applied Category Theory Course

Child Categories

• Applied Category Theory Exercises

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

  149 discussions 543 comments

• Applied Category Theory Discussion Groups

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

  48 discussions 364 comments

• Applied Category Theory Formula Examples

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

  15 discussions 10 comments

• Lecture 77 - Chapter 4: The End? No, the Beginning!

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 10 Last comment by John Baez Last active 2 days ago
• Lecture 76 - Chapter 4: The Grand Synthesis

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 3 Last comment by John Baez Last active 02 Oct 2018
• Applied Category Theory 2019

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 0 Last active 02 Oct 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
• Thoughts on string diagrams

  Category Applied Category Theory Course 0 points Started by Bruno Gavranović Comments 4 Last comment by Bruno Gavranović Last active 2 days ago
• Bradley's Applied Category Theory booklet

  Category Applied Category Theory Course 0 points Started by Scott Oswald Comments 3 Last comment by Pierre Prado Last active 4 days ago
• Modeling Factorio with Category Theory: An extended puzzle

  Category Applied Category Theory Course 0 points Started by Scott Oswald Comments 0 Last active 06 Oct 2018
• New Free Booklet on Applied Category Theory

  Category Applied Category Theory Course 0 points Started by John Baez Comments 7 Last comment by Scott Oswald Last active 03 Oct 2018
• How the Course Is Going 2

  Category Applied Category Theory Course 0 points Started by John Baez Comments 41 Last comment by John Baez Last active 02 Oct 2018
• The End is Near

  Category Applied Category Theory Course 0 points Started by John Baez Comments 3 Last comment by John Baez Last active 02 Oct 2018
• Lecture 75 - Chapter 4: The Grand Synthesis

  Category Applied Category Theory Course 0 points Started by John Baez Comments 12 Last comment by Christopher Upshaw Last active 26 Sep 2018
• Lecture 69 - Chapter 4: Feedback in Collaborative Design

  Category Applied Category Theory Course 0 points Started by John Baez Comments 41 Last comment by Keith E. Peterson Last active 25 Sep 2018
• Lecture 71 - Chapter 4: Caps and Cups for Enriched Profunctors

  Category Applied Category Theory Course 0 points Started by John Baez Comments 25 Last comment by Pierre Prado Last active 23 Sep 2018
• Lecture 27 - Chapter 2: Adjoints of Monoidal Monotones

  Category Applied Category Theory Course 0 points Started by John Baez Comments 8 Last comment by Charles Clingen Last active 16 Sep 2018
• Lecture 74 - Chapter 4: Compact Closed Categories

  Category Applied Category Theory Course 0 points Started by John Baez Comments 48 Last comment by Scott Oswald Last active 13 Sep 2018
• Lecture 73 - Chapter 4: String Diagrams and Strictification

  Category Applied Category Theory Course 0 points Started by John Baez Comments 24 Last comment by Christopher Upshaw Last active 07 Sep 2018
• No images from John

  Category Applied Category Theory Course 0 points Started by Simon Willerton Comments 1 Last comment by Dan Oneata Last active 04 Sep 2018
• Scenius

  Category Applied Category Theory Course 0 points Started by Jesus Lopez Comments 2 Last comment by AndriusKulikauskas Last active 02 Sep 2018
• Bradley's Applied Category Theory book

  Category Applied Category Theory Course 0 points Started by John Baez Comments 2 Last comment by John Baez Last active 31 Aug 2018
• Lecture 68 - Chapter 4: Feedback in Collaborative Design

  Category Applied Category Theory Course 0 points Started by John Baez Comments 42 Last comment by Christopher Upshaw Last active 31 Aug 2018
• Lecture 72 - Chapter 4: Monoidal Categories

  Category Applied Category Theory Course 0 points Started by John Baez Comments 46 Last comment by Anindya Bhattacharyya Last active 29 Aug 2018
• A new journal: Compositionality

  Category Applied Category Theory Course 0 points Started by John Baez Comments 4 Last comment by Keith E. Peterson Last active 28 Aug 2018
• Lecture 17 - Chapter 1: The Grand Synthesis

  Category Applied Category Theory Course 0 points Started by John Baez Comments 41 Last comment by Charles Clingen Last active 27 Aug 2018
• Lecture 16 - Chapter 1: The Adjoint Functor Theorem for Posets

  Category Applied Category Theory Course 0 points Started by John Baez Comments 34 Last comment by Charles Clingen Last active 27 Aug 2018
• Complex Adaptive System Design

  Category Applied Category Theory Course 0 points Started by John Baez Comments 9 Last comment by Pierre Prado Last active 26 Aug 2018
• Open Petri nets

  Category Applied Category Theory Course 0 points Started by John Baez Comments 15 Last comment by John Baez Last active 23 Aug 2018
• Lecture 56 - Chapter 4: Feasibility Relations

  Category Applied Category Theory Course 0 points Started by John Baez Comments 18 Last comment by Daniel Blank Last active 18 Aug 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 16 Aug 2018
• 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 16 Aug 2018
• 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 15 Aug 2018
• Lecture 70 - Tensoring Enriched Profunctors

  Category Applied Category Theory Course 0 points Started by John Baez Comments 26 Last comment by Scott Oswald Last active 15 Aug 2018