The category of 3-computads is not cartesian closed

• Autores: Mihaly Makkai, Marek Zawadowski
• Localización: Journal of pure and applied algebra, ISSN 0022-4049, Vol. 212, Nº 11, 2008, págs. 2543-2546
• Idioma: inglés
• DOI: 10.1016/j.jpaa.2008.04.010
• Texto completo no disponible (Saber más ...)
• Resumen

  • We show, using [A. Carboni, P.T. Johnstone, Connected limits, familial representability and Artin glueing, Math. Structures Comput. Sci. 5 (1995) 441�459] and 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.