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.
'A readable and timely account of important results, most of which were not previously available in book form.' Bulletin of the London Mathematical Society
Ask a Question About this Product More... |