"Introduction to higher-order categorical logic" - читать интересную книгу автора (J. Lambek, P. J. Scott)