Mihaly Makkai, Marek Zawadowski
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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados