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

Dear Eugenia On 04/09/2012, at 10:48 AM, Eugenia Cheng wrote:

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.

A bit of shock hit me to see that the Makkai and Zawadowski paper was over 1000 pages! But I see from MathSci that the correct page numbers are 2543–2546. I look forward to reading your approach. Regards, Ross [For admin and other information see: http://www.mta.ca/~cat-dist/ ]