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.