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.
Previous | Index | Next An error occured whilst processing this directive