"cs is just fancy string manipulation" but categorical

Date
October 18, 2019

Speaker
Zach Goldthorpe

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.