Rezk completions

A seminar talk at Dutch Categories And Types Seminar.

The slides can be found here.