Title: Categories, Types, and Structures
Subjects: Programming languages (electronic computers), Categories (mathematics)