News for hackers. Stuff that matters.

A comment on A formalization of category theory in Coq. Parent comment

Re:A formalization of category theory in Coq by solomatov on Saturday August 05, 2017 @12:25AM (#14934221)
Concerning the books on the topic, I highly recommend this: https://www.amazon.com/Verified-Functional-Programming-Agda-... If you want to get into the math related aspect, read this: https://homotopytypetheory.org/book/

There's also an annual summer school on the topic which has downloadable videos available: https://www.cs.uoregon.edu/research/summerschool/summer17/

[ Parent | on HN ]
Re:A formalization of category theory in Coq by Twisol on Saturday August 05, 2017 @12:54AM (#14934289)
This year's OPLSS did not really engage with Coq. Adam Chlipala did give a lecture series on Coq at OPLSS'16 though: https://www.cs.uoregon.edu/research/summerschool/summer15/cu...

The DeepSpec summer school, however, did lead with a Coq intensive, which was recorded and included in the uploads at https://www.youtube.com/channel/UC5yB0ZRgc4A99ttkwer-dDw .

[ Parent | on HN ]