"Introduction to Higher-Order Categorical Logic" - читать интересную книгу автора (J. Lambek, P. J. Scott)