Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
replaced links to the functor comprehension principle (michaelshulman) article on the michaelshulman wiki with links to the functor comprehension principle article on the nlab wiki
C. Silva
Also removing old discussion in query box:
Urs says: Why do you restrict this to the abelian case? From page 16 of Noohi’s article I got the impression that he is precisely describing the ana-2-functors between one-object 2-groupoids in terms of the corresponding (possibly nonabelian) crossed modules.
Mathieu says: I don’t see that (or something like that) on that page, but saturated anafunctors should correspond to butterflies also in the semi-abelian case (using the notion of internal crossed module in a semi-abelian category introduced by Janelidze), but I have not checked it. The special case of groups is probably easy to check: saturated anafunctors between two internal groupoids in the category of groups should correspond to butterflies between the corresponding crossed modules.
Urs says: I haven’t checked the details. But he is looking at derived homs of crossed complexes. By general nonsense these derived hom should be given by homs out of cofibrant replacements. This is another way of talking about the anafunctor picture. Somebody should check the details.
Tim: Noohi has pointed out to me a slip in his HHA article in which he gives an ’algebraic’ description of weak map (and thus of anafunctor) between the crossed modules corresponding to the 2-groups. He has posted a corrected version on the archive (<http://arxiv.org/abs/math/0506313v3>, but make sure you get version 3).
C. Silva
1 to 8 of 8