Title: Categorical Logic And Type Theory
Subjects: Categories (mathematics)