• People
• Events
• Research

The Structure of Free Closed Categories

Abstract: A new and simple method of describing all canonical natural transformations on closed categories is given by using internal languages to determine the structure of free closed categories.

ECS-LFCS-89-92