Category Theorie

Toposes, Triplets, and Theories

M. Barr and C. Wells (BOOK, 1985)

Introduction to Higher Order Categorial Logic

J. Lambek and P. Scott (BOOK, 1986)