Azimuth Forum

• Programming with categories course at MIT (ongoing now)

  Announcement Category Programming with Categories Course 0 points Started by DavidTanzer Comments 3 Last comment by JakeGillberg Last active 4 days ago
• This week's progress

  Announcement Category - Strategy 0 points Started by John Baez Comments 91 Last comment by DavidTanzer Last active 21 Jan 2020
• Applied category theory "school" at MIT in the summer of 2020

  Announcement Category Applied Category Theory Course 0 points Started by John Baez Comments 1 Last comment by Pierre Prado Last active 19 Aug 2019
• Monads: Definition, example, and exercise

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 2 Last comment by DavidTanzer Last active 4 hours ago
• Question 3.5 - Monoids as List algebras

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 0 Last active 6 hours ago
• Mac Lane Exercise II.7.8

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 0 Last active 7 hours ago
• Mac Lane Exercise II.3.2

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 0 Last active 7 hours ago
• A monad?

  Category Programming with Categories Course 0 points Started by DavidTanzer Comments 2 Last comment by DavidTanzer Last active 10 hours ago
• Programming with Categories - Lecture 11 Discussion

  Category Programming with Categories Course 0 points Started by EricRogstad Comments 1 Last comment by EricRogstad Last active 11 hours ago
• Question 2.5 - Products in preorders

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 16 Last comment by DavidTanzer Last active 2 days ago
• Question 3.2 - Catamorphisms

  Category Exercises - Programming with Categories Course 0 points Started by FabricioOlivetti Comments 1 Last comment by FabricioOlivetti Last active 2 days ago
• Can we apply category theory to parse this json with type/function composition?

  Category General 0 points Started by CPChung Comments 0 Last active 3 days ago
• Question 2.1 - Functors out of Set

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 4 Last comment by JakeGillberg Last active 4 days ago
• Notes Exercise 2.15

  Category Exercises - Programming with Categories Course 0 points Started by JakeGillberg Comments 2 Last comment by JakeGillberg Last active 4 days ago
• Question 2.2 - Constant functors

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 1 Last comment by JakeGillberg Last active 4 days ago
• How to keep the course going?

  Category Programming with Categories Course 0 points Started by DavidTanzer Comments 9 Last comment by DavidTanzer Last active 4 days ago
• Programming with Categories - Lecture 8 Discussion

  Category Programming with Categories Course 0 points Started by KenWebb Comments 1 Last comment by KenWebb Last active 4 days ago
• Question 2.8 - Bifunctors

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 1 Last comment by FabricioOlivetti Last active 6 days ago
• Question 2.6 - Products in Hask

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 1 Last comment by FabricioOlivetti Last active 6 days ago
• Question 2.4 - Uniqueness of universal objects

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 1 Last comment by FabricioOlivetti Last active 6 days ago
• Question 1.4 - Almost categories

  Category Exercises - Programming with Categories Course 0 points Started by JakeGillberg Comments 7 Last comment by DavidTanzer Last active 7 days ago
• Mini-Talk 1.3: Maybe as a functor

  Category Mini-Talks - Programming with Categories Course 0 points Started by DavidTanzer Comments 2 Last comment by DavidTanzer Last active 7 days ago
• Mini-Talk 1.2: The polymorphic type constructor Maybe

  Category Mini-Talks - Programming with Categories Course 0 points Started by DavidTanzer Comments 0 Last active 7 days ago
• Mini-Talk 1.1: Dissecting a Haskell type and its data constructors

  Category Mini-Talks - Programming with Categories Course 0 points Started by DavidTanzer Comments 0 Last active 7 days ago
• Questions 1.6 - Preorders

  Category Exercises - Programming with Categories Course 0 points Started by JakeGillberg Comments 3 Last comment by FabricioOlivetti Last active 7 days ago
• 18.S097: Programming with Categories

  Category Programming with Categories Course 0 points Started by Ubaldo Pescatore Comments 16 Last comment by DavidTanzer Last active 21 Jan 2020
• Question 2.9 - Programming with categories

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 3 Last comment by FabricioOlivetti Last active 21 Jan 2020
• Question 2.3 - The naturality of the diagonal

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 1 Last comment by FabricioOlivetti Last active 21 Jan 2020
• Question 2.7 - The product of categories

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 0 Last active 19 Jan 2020
• Question 1.5 - Monoids

  Category Exercises - Programming with Categories Course 0 points Started by JakeGillberg Comments 2 Last comment by JakeGillberg Last active 18 Jan 2020
• Programming with Categories - Lecture 2 Discussion

  Category Programming with Categories Course 0 points Started by KenWebb Comments 21 Last comment by DavidTanzer Last active 18 Jan 2020