The category of 3-computads is not cartesian closed
classification
🧮 math.CT
keywords
categorycartesianclosedcomputadsargumentcategoriescorollaryeckmann-hilton
read the original abstract
We show, using Eckmann-Hilton argument, that the category of 3-computads is not cartesian closed. As a corollary we get that neither the category of all computads nor the category of n-computads, for n>2, do form locally cartesian closed categories, and hence elementary toposes.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.