Title: Computational category theory
Subjects: Categories (Mathematics), Computer programming, Data processing, Computer science, mathematics