Practical Foundations of Mathematics

Paul Taylor

IV. Cartesian Closed Categories

IV. Cartesian Closed Categories

Practical Foundations of Mathematics   Paul Taylor   Cambridge University Press

Introduction   I   II   III   IV   V   VI   VII   VIII   IX   Bibliography  Index

INTRODUCTION

4.1    CATEGORIES

4.2    ACTIONS AND SKETCHES

4.3    CATEGORIES FOR FORMAL LANGUAGES

4.4    FUNCTORS

4.5    A UNIVERSAL PROPERTY: PRODUCTS

4.6    ALGEBRAIC THEORIES

4.7    INTERPRETATION OF THE LAMBDA CALCULUS

4.8    NATURAL TRANSFORMATIONS

EXERCISES  IV