The category of 3-computads is not cartesian closed
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
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.
6 pages; more detailed explanations
6 pages; more detailed explanations