2007/10/27 by Mihaly Makkai, Makkai, Mihaly, Marek Zawadowski +1
Mathematics · #18A99 #Category Theory (math.CT) #FOS: Mathematics #math.CT #msc:18A99
paper · pdf · doi:10.48550/arxiv.0710.5202
6 pages; more detailed explanations
arxiv created 2008/06/16 · arxiv updated 2009/12/01
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.