Rezk Completions For (Elementary) Topoi
Date:
A workshop talk presented at the 31th International Conference on Types for Proofs and Programs.
The extended abstract can be found here.
Date:
A workshop talk presented at the 31th International Conference on Types for Proofs and Programs.
The extended abstract can be found here.