I don't think there is anything particularly brilliant. There's Category Theory for Computing Science by Barr and Wells (http://www.case.edu/artsci/math/wells/pub/ctcs.html), which is a good enough book but hardly comprehensive. I don't know any way round the fact that category…
I don't think there is anything particularly brilliant. There's Category Theory for Computing Science by Barr and Wells (http://www.case.edu/artsci/math/wells/pub/ctcs.html), which is a good enough book but hardly comprehensive. I don't know any way round the fact that category…
robinhoustonView on HNParent context