Applied Category Theory Course

• Lecture 17 - Chapter 1: The Grand Synthesis

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 14 Last comment by Jonathan Castello Last active 5 hours ago
• Exercises and Discussion 1 - Chapter 1

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 6 Last comment by John Baez Last active 6 hours ago
• Slack Channel

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 16 Last comment by Derrick Lin Last active 11 hours ago
• Chapter 1

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 190 Last comment by John Baez Last active 2 days ago
• Just For Fun 4

  Announcement Category Applied Category Theory Course 0 points Started by Matthew Doty Comments 4 Last comment by Matthew Doty Last active 3 days ago
• The Next Phase of This Course

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 4 Last comment by John Baez Last active 3 days ago
• Welcome to the Applied Category Theory Course!

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 9 Last comment by John Baez Last active 31 Mar 2018
• Lecture 4 - Chapter 1: Galois Connections

  Category Applied Category Theory Course 0 points Started by John Baez Comments 79 Last comment by Jonathan Castello Last active 5 hours ago
• Categories for the Working Hacker - A Discussion Group

  Category Applied Category Theory Course 0 points Started by John Baez Comments 83 Last comment by Bartosz Milewski Last active 8 hours ago
• What an honor!

  Category Applied Category Theory Course 0 points Started by David Spivak Comments 10 Last comment by John Baez Last active 17 hours ago
• Lecture 16 - Chapter 1: The Adjoint Functor Theorem for Posets

  Category Applied Category Theory Course 0 points Started by John Baez Comments 16 Last comment by Jonathan Castello Last active 2 days ago
• Lecture 13 - Chapter 1: Pulling Back Partitions

  Category Applied Category Theory Course 0 points Started by John Baez Comments 20 Last comment by John Baez Last active 2 days ago
• Lecture 9 - Chapter 1: Adjoints and the Logic of Subsets

  Category Applied Category Theory Course 0 points Started by John Baez Comments 95 Last comment by John Baez Last active 2 days ago
• Applied Adjunctions: Compiler Optimization

  Category Applied Category Theory Course 0 points Started by Matthew Doty Comments 5 Last comment by ThomasRead Last active 2 days ago
• Lecture 10 - Chapter 1: The Logic of Partitions

  Category Applied Category Theory Course 0 points Started by John Baez Comments 42 Last comment by David P. Ellerman Last active 3 days ago
• Hacking Models - a language for describing categories

  Category Applied Category Theory Course 0 points Started by Fredrick Eisele Comments 5 Last comment by John Baez Last active 3 days ago
• Creating gitbooks for the course

  Category Applied Category Theory Course 0 points Started by John Baez Comments 28 Last comment by John Baez Last active 3 days ago
• Lecture 6 - Chapter 1: Computing Adjoints

  Category Applied Category Theory Course 0 points Started by John Baez Comments 41 Last comment by Matthew Piziak Last active 3 days ago
• Lecture 11 - Chapter 1: The Poset of Partitions

  Category Applied Category Theory Course 0 points Started by John Baez Comments 22 Last comment by Jesus Lopez Last active 3 days ago
• Favorite Unanswered Student Questions

  Category Applied Category Theory Course 0 points Started by Matthew Doty Comments 0 Last active 3 days ago
• Lecture 15 - Chapter 1: Preserving Joins and Meets

  Category Applied Category Theory Course 0 points Started by John Baez Comments 4 Last comment by John Baez Last active 3 days ago
• Definitions from Seven Sketches in Compositionality

  Category Applied Category Theory Course 0 points Started by Thrina Burana Comments 10 Last comment by John Baez Last active 4 days ago
• Example 1.89 - Chapter 1 (suggested exercise)

  Category Applied Category Theory Course 0 points Started by Reuben Cohn-Gordon Comments 1 Last comment by John Baez Last active 4 days ago
• Applied Category Theory : Navigation Aid : Table of Contents

  Category Applied Category Theory Course 0 points Started by Fredrick Eisele Comments 7 Last comment by Fredrick Eisele Last active 4 days ago
• Lecture 12 - Chapter 1: Generative Effects

  Category Applied Category Theory Course 0 points Started by John Baez Comments 26 Last comment by John Baez Last active 4 days ago
• Chapter 1 Example 1.33 cyclic ordering

  Category Applied Category Theory Course 0 points Started by Igor Kulieshov Comments 9 Last comment by Igor Kulieshov Last active 6 days ago
• Lecture 14 - Chapter 1: Adjoints, Joins and Meets

  Category Applied Category Theory Course 0 points Started by John Baez Comments 5 Last comment by John Baez Last active 6 days ago
• Applied Category Theory for Linguistics

  Category Applied Category Theory Course 0 points Started by Reuben Cohn-Gordon Comments 7 Last comment by John Baez Last active 7 days ago
• Lecture 7 - Chapter 1: Logic

  Category Applied Category Theory Course 0 points Started by John Baez Comments 6 Last comment by Fredrick Eisele Last active 11 Apr 2018
• Introduction: Peter Gates

  Category Applied Category Theory Course 0 points Started by Peter Gates Comments 1 Last comment by John Baez Last active 10 Apr 2018
• Lecture 1 - Introduction

  Category Applied Category Theory Course 0 points Started by John Baez Comments 6 Last comment by Rich Hilliard Last active 09 Apr 2018