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.
New entry (improvized, check co- etc.) resolution.
I added a bit, trying to indicate the wider context.
I had occasion to link from an exposition that I am writing to the entry homological resolution, only to realize that its content was fairly chaotic. So I tried to give it a more expository helpful Idea-section. The last two paragraphs of what is now the Examples-section there are still in need of improvement, I feel, but I didn’t touch these.
There was one more paragraph which went on about orbifolds. I felt this didn’t belong to “homological resolution”, but maybe to resolution. Turning there, I found again a very unsatisfactory Idea-section, and so I went ahead and added a few lines that hopefully improve on it a little.
Then I made sure these entries are cross-linked with simplicial resolution… only to discover – you are guessing it already – that this entry is in bad shape. But I am out of steam now. If anyone feels in expository mood, that entry would be a good place to turn some energy to.
Should mention be given and links made here to comonadic resolutions and even the old step-by-step idea of Michel André, which emphasises the similarity with defining a CW-complex by adding cells to already existing stuff?
(Edit: Do we have an entry for comonadic resolution under some other name? I found three links but all grey ones and no active one.)
There is the discussion in bar construction but that does not have a lot of the references to the early stuff by Barr and Beck, in the Triples seminar lecture notes, nor the original in Godement and to the extensive work by Duskin. I thought the use of bar’s was due to Eilenberg and Mac Lane.
1 to 5 of 5