* Preprint: A direct proof that the category of 3-computads is not cartesian closed
@ 2012-09-04 0:48 Eugenia Cheng
2012-09-05 2:26 ` Ross Street
0 siblings, 1 reply; 2+ messages in thread
From: Eugenia Cheng @ 2012-09-04 0:48 UTC (permalink / raw)
To: categories
Dear All,
I've just posted a note on the arXiv, giving a short proof by counterexample
that the category of 3-computads is not cartesian closed.
http://arxiv.org/abs/1209.0414
This result was first proved by Makkai and Zawadowski:
3-computads do not form a presheaf category. Journal of Pure and Applied
Algebra, 212(11):2543--3546, 2008.
Their original proof depended on some results on Artin glueing of Carboni and
Johnstone, and in turn some results of Day. Recently François Métayer asked me
if I knew of a direct counterexample instead, that is, a 3-computad B such that
the functor _ x B does not have a right adjoint.
I did not know of anywhere that such a counterexample had been written up. So
I constructed one, and after showing it to François and others at Paris 7,
decided it might be useful to make the notes available.
The counterexample uses the same ideas as the proof of Makkai and Zawadowski
(essentially coming down to an Eckmann-Hilton argument) but the proof is
self-contained in this 8 page note, and the counterexample itself is given in
two pages in the middle. I hope that this will help people further understand
the very interesting and crucial result of Makkai and Zawadowski.
Comments are welcome.
Regards,
Eugenia
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2012-09-05 2:26 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-09-04 0:48 Preprint: A direct proof that the category of 3-computads is not cartesian closed Eugenia Cheng
2012-09-05 2:26 ` Ross Street
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).