News for hackers. Stuff that matters.

A comment on Programming with Categories.

Re:Programming with Categories by apkallum on Wednesday September 02, 2020 @12:22PM (#24354745)
David Spivak and other folks at Azimuth Forum[0] have been great at providing high quality discussions on ideas in this course and others. Many thanks.

[0] https://forum.azimuthproject.org

[ Parent | on HN ]
Re:Programming with Categories by spinningslate on Wednesday September 02, 2020 @12:33PM (#24354892)
Good point and strongly agree. John Baez [0] also merits mention as the originator of Azimuth and the creator of the Applied Category Theory course [1] on the back of Fong & Spivak's paper [2].

[0]https://www.azimuthproject.org/azimuth/show/John+Baez [1]https://forum.azimuthproject.org/discussion/1717/welcome-to-... [2]http://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf

[ Parent | on HN ]
Re:Programming with Categories by read_if_gay_ on Wednesday September 02, 2020 @04:30PM (#24357765)
Is this Spivak related to the author of the famous Calculus book?
[ Parent | on HN ]
Re:Programming with Categories by dan-robertson on Wednesday September 02, 2020 @05:48PM (#24358572)
David and Michael Spivak are not related
[ Parent | on HN ]