A direct proof that the category of 3-computads is not cartesian closed

2012/09/03 by Eugenia Cheng, Cheng, Eugenia
Mathematics · #18C99 #18D05 #18D25 #Category Theory (math.CT) #FOS: Mathematics #math.CT #msc:18C99 #msc:18D05 #msc:18D25

paper · pdf · doi:10.48550/arxiv.1209.0414

8 pages (corrected typo in bibliography)

arxiv created 2012/12/12 · arxiv updated 2012/12/13

Abstract

We prove by counterexample that the category of 3-computads is not cartesian closed, a result originally proved by Makkai and Zawadowski. We give a 3-computad B and show that the functor _ x B does not have a right adjoint, by giving a coequaliser that is not preserved by it.

Related

• The category of 3-computads is not cartesian closed
• The category of categories with pullbacks is cartesian closed
• On the Cartesian closedness of [0,1]-Cat and some of its subcategories
• Cartesian closed categories are distributive
• When is Cat(Q) cartesian closed?