COMPUTATIONAL CATEGORY THEORY

By Y. KIORM

AN EXAMPLE: THE TOPOS OF ?NITE SETS COMPUTING IN A TOPOS LOGIC IN A TOPOS AN EXAMPLE: A THREE-VALUED LOGIC CONCLUSION EXERCISES A CATEGORICAL UNI?CATION ALGORITHM THE UNI?CATION OF TERMS UNI?CATION AS A COEQUALIZER ON CONSTRUCTING COEQUALIZERS A CATEGORICAL PROGRAM CONSTRUCTING THEORIES PRELIMINARIES CONSTRUCTING THEORIES THEORIES AND INSTITUTIONS COLIMITS OF THEORIES ENVIRONMENTS SEMANTIC OPERATIONS IMPLEMENTING A CATEGORICAL SEMANTICS 10 FORMAL SYSTEMS FOR CATEGORY THEORY 10 1 FORMAL ASPECTS OF CATEGORY THEORY 10 2 CATEGORY THEORY IN OBJ 10 3 CATEGORY THEORY IN A TYPE THEORY 10 4 CATEGORICAL DATA TYPES