Abstract
Computer science can be passed off as just fancy string
manipulation. In this talk, I aim to make this formal and study the
"category of computer science" it induces. No prior knowledge in category
theory is required, but some knowledge of C++ is helpful.