On Tue, Jul 12, 2011 at 7:56 AM, Marta Bunge <martabunge@hotmail.com> wrote:

As for stacks being the primary motivation Makkai had for anafunctors, that is not the impression I got from people attending his course,

Okay, thanks for the correction.

I forgot to mention that an elementary formulation of ASC ("axiom of stack completions") is till missing.

Does it not work to say that every internal category admits a weak equivalence functor to an internal category which is a stack? Mike [For admin and other information see: http://www.mta.ca/~cat-dist/ ]