3
$\begingroup$

I am looking for an introduction to category theory for computer scientists.

  • I have no background in category theory, or advanced math such as topology.

  • I am interested in logic, and applications to computer science (theorem provers, performance guarantees of programs, etc). I've heard that category theory is relevant for these topics.

  • I would like the introduction to be concept and intuition-heavy, and not unnecessarily over-technical.

$\endgroup$
2
$\begingroup$

Maybe a good start is the book Category theory for scientists by David Spivak. It does not require any advanced math.

http://math.mit.edu/~dspivak/teaching/sp13/CT4S--static.pdf

$\endgroup$
2
$\begingroup$

How about Category Theory for Programmers?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.