V3. The article ‘All Concepts are ℂ^♯’ by Owen Lynch, Brandon T. Shapiro, and David I. Spivak, has undergone an editorial review. The reviewer, Christopher Smith, has evaluated the article, giving it a score of 7 out of 10.
Key highlights from the review include the article’s focus on category theory and polynomial functors, with specific attention to the double category of comonoids. The article’s implications in functional programming, particularly in developing ‘functorial programming,’ are noted as significant. The potential for programming directly with categories rather than sets is seen as a crucial advancement in the field.
Reviewer’s Comments: ‘The applications of this article in functional programming are very important. The ability to program directly with categories instead of mere sets has been an open problem for years. This article is a good attempt at some novel form of “functorial programming”.’