Azimuth Forum

• 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 the 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
• 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 6 - Terminal and initial objects; products - Brendan Fong

  Category MIT 2020: Lectures 0 points Started by DavidTanzer Comments 0 Last active 05 Feb 2020
• Azimuth Code Project 2?

  Category Azimuth Code Project 0 points Started by DavidTanzer Comments 40 Last comment by ChrisGoddard Last active 05 Feb 2020
• Lecture 5 - So, functors! - Bartosz Milewski

  Category MIT 2020: Lectures 0 points Started by DavidTanzer Comments 0 Last active 05 Feb 2020
• Lecture 2 - Examples of categories; begin Haskell - Brendan Fong

  Category MIT 2020: Lectures 0 points Started by DavidTanzer Comments 0 Last active 05 Feb 2020
• Lecture 1 - Sets, functions and categories - David Spivak

  Category MIT 2020: Lectures 0 points Started by DavidTanzer Comments 0 Last active 05 Feb 2020
• Azimuth project code repository

  Category Azimuth Code Project 0 points Started by DavidTanzer Comments 18 Last comment by JimStuttard Last active 04 Feb 2020
• Scope of the forum

  Category Strategy 0 points Started by DavidTanzer Comments 9 Last comment by JimStuttard Last active 04 Feb 2020
• Lecture 4 - Functors and natural transformations - David Spivak

  Category MIT 2020: Lectures 0 points Started by DavidTanzer Comments 0 Last active 03 Feb 2020
• So, is Haskell a category?

  Category MIT 2020: Programming with Categories 0 points Started by AlexandreBMasse Comments 1 Last comment by MatthewDoty Last active 03 Feb 2020
• Question 3.2 - Catamorphisms

  Category MIT 2020: Exercises 0 points Started by FabricioOlivetti Comments 5 Last comment by FabricioOlivetti Last active 02 Feb 2020
• Question 2.2 - Constant functors

  Category MIT 2020: Exercises 0 points Started by DavidTanzer Comments 3 Last comment by DavidTanzer Last active 01 Feb 2020
• Introduction: Emily Pillmore

  Category Chat 0 points Started by EmilyPillmore Comments 1 Last comment by DavidTanzer Last active 01 Feb 2020
• Introduction: Santiago Renteria

  Category Chat 0 points Started by SantiagoRenteria Comments 1 Last comment by MatthewDoty Last active 01 Feb 2020
• Question 2.5 - Products in preorders

  Category MIT 2020: Exercises 0 points Started by DavidTanzer Comments 17 Last comment by MatthewDoty Last active 01 Feb 2020
• 2 - Complex definitions / simple proofs

  Category General 0 points Started by DavidTanzer Comments 7 Last comment by MatthewDoty Last active 01 Feb 2020