Dear Andre, I believe that you misunderstood the comment made in Bunge-Hermida (2011) concerning model structures. In particular, I do not know what you meant by your saying "I disagree with your conclusion". We say precisely in Section 3 (Remark 3.6) that the two model structures mentioned - namely the Joyal-Tierney and the Lack model structures on Cat(S), S a Grothendieck topos, are different, and why. I think then that we agree. Best,Marta
From: joyal.andre@uqam.ca To: categories@mta.ca Subject: categories: RE: size_question_encore Date: Sun, 10 Jul 2011 09:30:07 -0400
dear Marta,
I apologise, I had forgoten our conversation! My memory was never good, and it is getting worst.
You wrote:
No, I am not thinking of the analogue of Steve Lack's model structure since, strictly speaking, it has nothing to do with stacks. Comments to that effect (with which Steve agrees) are included in the Bunge-Hermida paper. It was actually a surprise to discover that after trying to do what you suggest and failing.
I disagree with your conclusion. I looked at your paper with Hermida. We are not talking about the same model structure. The fibrations in 2Cat(S) defined by Steve Lack (your definition 7.1) are too weak when the topos S does not satify the axiom of choice. Equivalently, his generating set of trivial cofibrations is too small.
Nobody has read my paper with Myles <A.Joyal, M.Tierney: Classifying spaces for sheaves of simplicial groupoids, JPAA, Vol 89, 1993>.
Best, André
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
What we wanted (though we did not need it) was a model structure similar to the Joyal-Terney but in dimension 2, and of course it would be different from this one. I am sure too
Dear Marta, You wrote: that it exists. I am glad we agree. Best, -Andre -------- Message d'origine-------- De: Marta Bunge [mailto:martabunge@hotmail.com] Date: dim. 10/07/2011 14:26 À: Joyal, André; categories@mta.ca Objet : RE: categories: RE: size_question_encore Dear Andre, An addendum to my previous is in order. In Section 7 of Bunge-Hermida we actually discuss Lack's model structure on 2-Cat(S). We did this only to show that it is not suitable to get 2-stack completions, in case someone would think of this idea. The (ELP) is too restrictive for that. This may have led to your misunderstanding when we actually agree. What we wanted (though we did not need it) was a model structure similar to the Joyal-Terney but in dimension 2, and of course it would be different from this one. I am sure too that it exists. Best,Marta [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
participants (2)
-
André Joyal -
Marta Bunge