Paddy McCrudden – 15 January 1997
We first define the descent category of a truncated pseudosimplicial category as a weighted bilimit.
We then give a concrete desciption of the descent category.
Verifying that the second description agrees with the first will be the content of the seminar.
The proof involves a lot of pasting diagrams.
Handwritten notes are available.