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.
No takes yet. Share an insight, caveat, or question.
Bell et al. (1989) studied this question.