No CrossRef data available.
Published online by Cambridge University Press: 20 November 2018
It follows from [3] that all morphisms of free closed categories on finite discrete categories are components of natural or “generalized” natural transformations, and from [8] that all hom-sets of such categories are finite. The purpose of this paper is to show that neither statement remains true if the categories are also assumed to be cartesian.