The category of 3-computads is not cartesian closed
Category Theory
2008-06-17 v2
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.
Keywords
Cite
@article{arxiv.0710.5202,
title = {The category of 3-computads is not cartesian closed},
author = {Mihaly Makkai and Marek Zawadowski},
journal= {arXiv preprint arXiv:0710.5202},
year = {2008}
}
Comments
6 pages; more detailed explanations