Azimuth Forum

• This week's progress

  Announcement Category - Strategy 0 points Started by John Baez Comments 91 Last comment by DavidTanzer Last active 2 days ago
• Programming with categories course at MIT (ongoing now)

  Announcement Category Programming with Categories Course 0 points Started by DavidTanzer Comments 2 Last comment by JakeGillberg Last active 6 days ago
• 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
• Question 1.4 - Almost categories

  Category Exercises - Programming with Categories Course 0 points Started by JakeGillberg Comments 7 Last comment by DavidTanzer Last active 6 hours 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 12 hours 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 17 hours 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 17 hours ago
• Questions 1.6 - Preorders

  Category Exercises - Programming with Categories Course 0 points Started by JakeGillberg Comments 3 Last comment by FabricioOlivetti Last active 20 hours 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 2 days ago
• 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 2 days ago
• 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 2 days ago
• Question 2.1 - Functors out of Set

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

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

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 0 Last active 5 days ago
• Question 2.7 - The product of categories

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

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 0 Last active 5 days ago
• Question 2.5 - Products in preorders

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

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 0 Last active 5 days ago
• Question 2.2 - Constant functors

  Category Exercises - Programming with Categories Course 0 points Started by DavidTanzer Comments 0 Last active 5 days ago
• Question 1.5 - Monoids

  Category Exercises - Programming with Categories Course 0 points Started by JakeGillberg Comments 2 Last comment by JakeGillberg Last active 5 days ago
• Programming with Categories - Lecture 2 Discussion

  Category Programming with Categories Course 0 points Started by KenWebb Comments 21 Last comment by DavidTanzer Last active 6 days ago
• Question 1.1 - Functions in mathematics and Haskell

  Category Exercises - Programming with Categories Course 0 points Started by JakeGillberg Comments 3 Last comment by DavidTanzer Last active 6 days ago
• So, is Haskell a category?

  Category Programming with Categories Course 0 points Started by AlexandreBMasse Comments 0 Last active 7 days ago
• Introduction: Mitesh Pandey

  Category Chat 0 points Started by MiteshPandey Comments 0 Last active 7 days ago
• Question 1.2 - A tiny category

  Category Exercises - Programming with Categories Course 0 points Started by JakeGillberg Comments 5 Last comment by LeifMetcalf Last active 7 days ago
• Question 1.3 - Is it an isomorphism?

  Category Exercises - Programming with Categories Course 0 points Started by JakeGillberg Comments 1 Last comment by PieterVanWyk Last active 7 days ago
• Introduction: Ahmed Shahbaz

  Category Chat 0 points Started by AhmedShahbaz Comments 1 Last comment by DavidTanzer Last active 16 Jan 2020
• Introduction: David Tanzer

  Category Chat 0 points Started by DavidTanzer Comments 2 Last comment by JakeGillberg Last active 15 Jan 2020
• Programming with Categories - Lecture 3 Discussion

  Category Programming with Categories Course 0 points Started by LeifMetcalf Comments 0 Last active 10 Jan 2020
• QBO and ENSO

  Category Azimuth Code Project 0 points Started by WebHubTel Comments 386 Last comment by WebHubTel Last active 08 Jan 2020
• Reticular Chemistry

  Category News and Information 0 points Started by Chris Goddard Comments 3 Last comment by WebHubTel Last active 08 Jan 2020