Rezk completions
Date:
A seminar talk at Dutch Categories And Types Seminar.
The slides can be found at (https://dutchcats.github.io/2022-11-24/wullaert_20221124.pdf).
Date:
A seminar talk at Dutch Categories And Types Seminar.
The slides can be found at (https://dutchcats.github.io/2022-11-24/wullaert_20221124.pdf).