Chu spaces and the funny tensor product

Richard Garner – 22 February 2017

The funny tensor product of categories is the tensor side of a closed monoidal structure on Cat, whose internal hom classifies unnatural transformations.

We explain how the tensor product of Chu spaces can be seen as an example of a funny tensor product in an appropriately abstracted fibred setting.