Title: Formal category theory
Subjects: Categories (mathematics), Mathematics, Mathematics, general