News for hackers. Stuff that matters.

A comment on Categories: An implementation of category theory in Coq. Parent comment

Re:Categories: An implementation of category theory in Coq by js8 on Tuesday April 12, 2016 @05:00AM (#11478099)
MacLane was too heavy for me, but I can wholeheartedly recommend lectures from Steve Awodey: https://www.youtube.com/watch?v=BF6kHD1DAeU
[ Parent | on HN ]

There are no comments on this comment yet.