Introduction to higher order categorical logic
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are provided and each section concludes with exercises.
Print Book, English, ©1986
Cambridge University Press, Cambridge [Cambridgeshire], ©1986
ix, 293 pages ; 24 cm
9780521246651, 9780521356534, 0521246652, 0521356539
11867655
Preface; Part I. Introduction to Category Theory: Part II. Cartesian Closed Categories and Calculus: Part III. Type Theory and Toposes: Part IV. Representing Numerical Functions in Various Categories; Bibliography; Author index; Subject index.
Includes indexes