A arxiv.org Theoretical Computer Science for the Working Category Theorist [pdf] 76 points aq3cn 9 years ago 8 comments