Exercises - Applied Category Theory Course

• Programming with Categories Course

  MIT Course 18.S097, taught by Brendan Fong, Bartosz Milewski and David Spivak

  24 discussions 70 commentsMost recent: 18.S097: Programming with Categories by DavidTanzerJanuary 21
• Exercises - Programming with Categories Course

  15 discussions 26 commentsMost recent: Questions 1.6 - Preorders by FabricioOlivetti2:19PM
• Mini-Talks - Programming with Categories Course

  Locally written "mini-talks," drawing theme materials from the MIT course

  3 discussions 2 commentsMost recent: Mini-Talk 1.3: Maybe as a functor by DavidTanzer10:19PM
• Applied Category Theory Course

  This is for the online Applied Category Theory course.

  341 discussions 4,371 commentsMost recent: How the Course Is Going 2 by JoanVazquezDecember 2019
• Applied Category Theory Seminar

  A seminar on applied category theory at U. C. Riverside

  4 discussions 8 commentsMost recent: Applied category theory seminar by John BaezFebruary 2019
• Exercises - Applied Category Theory Course

  Let's do one discussion for each exercise in the book.

  149 discussions 543 commentsMost recent: Exercise 4 - Chapter 1 by IsaacDeFrainSeptember 2018
• Discussion Groups

  Talk to people with similar interests in the Applied Category Theory course!

  50 discussions 367 commentsMost recent: A diagram as a morphism by Peter AddorSeptember 2019
• How to Use MathJax

  A place to make sample posts showing how to exercise MathJax formula rendering.

  15 discussions 10 commentsMost recent: How to include a diagram: Google Drawin… by David LambertSeptember 2018
• Chat

  Fun conversations about anything whatsoever.

  487 discussions 1,882 commentsMost recent: Introduction: Mitesh Pandey by MiteshPandeyJanuary 17
• Azimuth Code Project

  Discussions of software and modeling projects.

  108 discussions 1,899 commentsMost recent: QBO and ENSO by WebHubTelJanuary 8
• News and Information

  Interesting news items or information related to the concerns of Azimuth.

  147 discussions 511 commentsMost recent: Reticular Chemistry by WebHubTelJanuary 8
• Azimuth Blog

  This is for discussion of the blog called Azimuth, not the wiki or the forum

  149 discussions 2,169 commentsMost recent: Blog notes - Meet the operads by DavidTanzerMarch 2019
• Azimuth Forum

  Discussion about the Azimuth Forum - in other words, meta-discussion about this forum here

  29 discussions 300 commentsMost recent: World water crisis and climate change by Justin LoeMay 2016
• Azimuth Project

  This is for discussions related to the Azimuth Project.

  189 discussions 2,320 commentsMost recent: David Tweed by John BaezFebruary 2017
• - Strategy

  What should Azimuth be doing?

  108 discussions 1,712 commentsMost recent: This week's progress by DavidTanzerJanuary 21
• - Conventions and Policies

  Discussion of general conventions and policies for the Azimuth Project wiki

  21 discussions 126 commentsMost recent: Guiding money flows via transaction tax… by nadFebruary 2015
• - Questions

  Questions about the Azimuth Project wiki

  43 discussions 343 commentsMost recent: Solar irradiance measurements by nadSeptember 2017
• Azimuth Wiki

  This is for discussing pages in the Azimuth Wiki.

  711 discussions 4,266 commentsMost recent: Cospan notations by John BaezFebruary 2019
• - Latest Changes

  This is for logging your changes to the Azimuth Project wiki, and for people to discuss those changes.

  701 discussions 4,245 commentsMost recent: artificial intelligence by Bruno GavranovićOctober 2018Child Categories: - - Action, - - Biodiversity, - - Books, - - Carbon, - - Computational methods, - - Climate, - - Earth science, - - Ecology, - - Energy, - - Experiments, - - Geoengineering, - - Mathematical methods, - - Meta, - - Methodology, - - Natural resources, - - Oceans, - - Organizations, - - People, - - Publishing, - - Reports, - - Software, - - Statistical methods, - - Sustainability, - - Things to do, - - Visualisation
• General

  General discussions

  41 discussions 440 commentsMost recent: Pollard talk materials? (updated: found) by Jesus LopezNovember 2019