Azimuth Forum

• Programming with Categories - Lecture 8 Discussion

  Category MIT 2020: Lectures 0 points Started by KenWebb Comments 1 Last comment by KenWebb Last active 25 Jan 2020
• Question 2.8 - Bifunctors

  Category MIT 2020: Exercises 0 points Started by DavidTanzer Comments 1 Last comment by FabricioOlivetti Last active 23 Jan 2020
• Question 2.6 - Products in Hask

  Category MIT 2020: Exercises 0 points Started by DavidTanzer Comments 1 Last comment by FabricioOlivetti Last active 23 Jan 2020
• Question 2.4 - Uniqueness of universal objects

  Category MIT 2020: Exercises 0 points Started by DavidTanzer Comments 1 Last comment by FabricioOlivetti Last active 23 Jan 2020
• Question 1.4 - Almost categories

  Category MIT 2020: Exercises 0 points Started by JakeGillberg Comments 7 Last comment by DavidTanzer Last active 23 Jan 2020
• Question 2.9 - Programming with categories

  Category MIT 2020: Exercises 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 MIT 2020: Exercises 0 points Started by DavidTanzer Comments 1 Last comment by FabricioOlivetti Last active 21 Jan 2020
• Question 2.7 - The product of categories

  Category MIT 2020: Exercises 0 points Started by DavidTanzer Comments 0 Last active 19 Jan 2020
• Question 1.5 - Monoids

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

  Category MIT 2020: Lectures 0 points Started by KenWebb Comments 21 Last comment by DavidTanzer Last active 18 Jan 2020
• Introduction: Mitesh Pandey

  Category Chat 0 points Started by MiteshPandey Comments 0 Last active 17 Jan 2020
• Question 1.2 - A tiny category

  Category MIT 2020: Exercises 0 points Started by JakeGillberg Comments 5 Last comment by LeifMetcalf Last active 16 Jan 2020
• Question 1.3 - Is it an isomorphism?

  Category MIT 2020: Exercises 0 points Started by JakeGillberg Comments 1 Last comment by PieterVanWyk Last active 16 Jan 2020
• Introduction: Ahmed

  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
• Question 1.1 - Functions in mathematics and Haskell

  Category MIT 2020: Exercises 0 points Started by JakeGillberg Comments 0 Last active 15 Jan 2020
• Reticular Chemistry

  Category News and Information 0 points Started by ChrisGoddard Comments 3 Last comment by WebHubTel Last active 08 Jan 2020
• Beyond Carbon Footprint

  Category Chat 0 points Started by GlynAdgie Comments 0 Last active 07 Jan 2020
• Introduction: Glyn Adgie

  Category Chat 0 points Started by GlynAdgie Comments 0 Last active 07 Jan 2020
• The latest from Tony Seba

  Category News and Information 0 points Started by Jan Galkowski Comments 0 Last active 22 Dec 2019
• How the Course Is Going 2

  Category Baez ACT 2019: Online Course 0 points Started by John Baez Comments 42 Last comment by JoanVazquez Last active 08 Dec 2019
• Peak oil status

  Category - - Natural resources 0 points Started by Frederik De Roo Comments 10 Last comment by WebHubTel Last active 04 Dec 2019
• Pollard talk materials? (updated: found)

  Category General 0 points Started by Jesus Lopez Comments 0 Last active 11 Nov 2019
• A new journal: Compositionality

  Category Baez ACT 2019: Online Course 0 points Started by John Baez Comments 6 Last comment by AndriusKulikauskas Last active 25 Oct 2019
• Introduction: Joao Kogler

  Category Chat 0 points Started by Joao Kogler Comments 1 Last comment by IanWhite Last active 17 Oct 2019
• Introduction: Ian White

  Category Chat 0 points Started by IanWhite Comments 2 Last comment by IanWhite Last active 09 Oct 2019
• Welcome, newcomers

  Category General 0 points Started by DavidTanzer Comments 2 Last comment by DavidTanzer Last active 03 Oct 2019
• A diagram as a morphism

  Category Baez ACT 2019: Chat 0 points Started by Peter Addor Comments 0 Last active 24 Sep 2019
• Applied category theory "school" at MIT in the summer of 2020

  Category Baez ACT 2019: Online Course 0 points Started by John Baez Comments 1 Last comment by Pierre Prado Last active 19 Aug 2019
• Lecture 74 - Chapter 4: Compact Closed Categories

  Category Baez ACT 2019: Lectures 0 points Started by John Baez Comments 50 Last comment by John Baez Last active 10 Aug 2019