A direct proof that the category of 3-computads is not cartesian closed
Category Theory
2012-12-13 v2
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.
Keywords
Cite
@article{arxiv.1209.0414,
title = {A direct proof that the category of 3-computads is not cartesian closed},
author = {Eugenia Cheng},
journal= {arXiv preprint arXiv:1209.0414},
year = {2012}
}
Comments
8 pages (corrected typo in bibliography)