Proof that the funny tensor product of categories is the only other symmetric closed monoidal structure on Cat besides the cartesian monoidal structure:
Created on November 15, 2023 at 16:34:26. See the history of this page for a list of all contributions to it.