Azimuth Forum

• ACT Study Group - Syllabus

  Announcement Category Programming with Categories 0 points Started by DavidTanzer Comments 7 Last comment by JimStuttard Last active 5 days ago
• Applied category theory "school" at MIT in the summer of 2020

  Announcement Category MIT 2019: Applied Category Theory 0 points Started by John Baez Comments 1 Last comment by Pierre Prado Last active 19 Aug 2019
• Applied category theory research progress

  Announcement Category Strategy 0 points Started by John Baez Comments 90 Last comment by John Baez Last active 07 Feb 2019
• Azimuth 2.0

  Category Strategy 0 points Started by DavidTanzer Comments 73 Last comment by DavidTanzer Last active 35 minutes ago
• QBO and ENSO

  Category Azimuth Code Project 0 points Started by WebHubTel Comments 395 Last comment by WebHubTel Last active 2 days ago
• Notes Exercise 3.19

  Category MIT 2020: Exercises 0 points Started by Ziyao Wei Comments 1 Last comment by Ziyao Wei Last active 4 days ago
• "Reanalysis of business visits from deployments of a mobile phone app"

  Category Statistical methods 0 points Started by Jan Galkowski Comments 0 Last active 6 days ago
• Bezos Earth Fund

  Category Chat 0 points Started by JimStuttard Comments 2 Last comment by JimStuttard Last active 6 days ago
• Green mathematics - Syllabus

  Category Green Mathematics 0 points Started by DavidTanzer Comments 0 Last active 7 days ago
• Lecture 11 - Bartosz Milewski

  Category MIT 2020: Lectures 0 points Started by EricRogstad Comments 9 Last comment by LaurensSandt Last active 18 Feb 2020
• Session 2 - Generative effects: orders and adjunctions, part 2 - Brendan Fong

  Category MIT 2019: Lectures 0 points Started by DavidTanzer Comments 0 Last active 18 Feb 2020
• Session 1 - Generative effects: orders and adjunctions, part 1 - David Spivak

  Category MIT 2019: Lectures 0 points Started by DavidTanzer Comments 0 Last active 18 Feb 2020
• How to keep the course going?

  Category MIT 2020: Programming with Categories 0 points Started by DavidTanzer Comments 13 Last comment by DavidTanzer Last active 18 Feb 2020
• Lecture 3 - Building up theory for Haskell - Bartosz Milewski

  Category MIT 2020: Lectures 0 points Started by DavidTanzer Comments 1 Last comment by ChrisGoddard Last active 15 Feb 2020
• How do we know if two objects in a category are the same or not?

  Category General 0 points Started by AndriusKulikauskas Comments 2 Last comment by AndriusKulikauskas Last active 14 Feb 2020
• Forum notes

  Category Strategy 0 points Started by DavidTanzer Comments 6 Last comment by DavidTanzer Last active 11 Feb 2020
• Lecture 15 - Monoidal categories - David Spivak

  Category MIT 2020: Lectures 0 points Started by DavidTanzer Comments 1 Last comment by EricRogstad Last active 09 Feb 2020
• Question 3.5 - Monoids as List algebras

  Category MIT 2020: Exercises 0 points Started by DavidTanzer Comments 10 Last comment by Bartosz Milewski Last active 08 Feb 2020
• Lecture 17 - Profunctors - Bartosz Milewski

  Category MIT 2020: Lectures 0 points Started by KenWebb Comments 0 Last active 08 Feb 2020
• Lecture 16 - Kinds of functors - Brendan Fong

  Category MIT 2020: Lectures 0 points Started by KenWebb Comments 0 Last active 08 Feb 2020
• Lecture 0 - Welcome to programming with categories - Brendan Fong, David Spivak, Bartosz Milewski

  Category MIT 2020: Lectures 0 points Started by KenWebb Comments 0 Last active 08 Feb 2020
• Lecture 14 - Monads from perspective of a programmer - Bartosz Milewski

  Category MIT 2020: Lectures 0 points Started by KenWebb Comments 0 Last active 08 Feb 2020
• Lecture 13 - Examples of monads, Kleisli categories - David Spivak

  Category MIT 2020: Lectures 0 points Started by KenWebb Comments 0 Last active 08 Feb 2020
• Lecture 12 - Monads - Brendan Fong

  Category MIT 2020: Lectures 0 points Started by KenWebb Comments 0 Last active 08 Feb 2020
• Earthquakes

  Category - - Earth science 0 points Started by JimStuttard Comments 38 Last comment by WebHubTel Last active 07 Feb 2020
• Mac Lane Exercise II.3.2

  Category MIT 2020: Exercises 0 points Started by DavidTanzer Comments 10 Last comment by DavidTanzer Last active 07 Feb 2020
• 18.S097: Programming with Categories

  Category MIT 2020: Programming with Categories 0 points Started by Ubaldo Pescatore Comments 20 Last comment by KenWebb Last active 06 Feb 2020
• Lecture 10 - Coalgebra - David Spivak

  Category MIT 2020: Lectures 0 points Started by DavidTanzer Comments 0 Last active 05 Feb 2020
• Lecture 9 - Recursion, algebras and F-algebras - Bartosz Milewski, Brendan Fong

  Category MIT 2020: Lectures 0 points Started by DavidTanzer Comments 0 Last active 05 Feb 2020
• Lecture 8 - Natural transformations, currying and adjunctions - Bartosz Milewski, Brendan Fong

  Category MIT 2020: Lectures 0 points Started by DavidTanzer Comments 0 Last active 05 Feb 2020
• Lecture 7 - Universal properties: products, coproducts and exponentials - David Spivak

  Category MIT 2020: Lectures 0 points Started by DavidTanzer Comments 0 Last active 05 Feb 2020
• Lecture 6 - Terminal and initial objects; products - David Spivak

  Category MIT 2020: Lectures 0 points Started by DavidTanzer Comments 0 Last active 05 Feb 2020