This cluster introduces -topoi as higher-categorical environments for homotopy-coherent sheaves.

Entry Points

3 items under this folder.