Author: Mike Shulman Format: MarkdownItexProposed statements of the local and global totality theorems, and how they "get us out of the world of presheaves".
<a href="https://ncatlab.org/nlab/revision/Initiality+Project+-+Totality/1">v1</a>, <a href="https://ncatlab.org/nlab/show/Initiality+Project+-+Totality">current</a>
Proposed statements of the local and global totality theorems, and how they “get us out of the world of presheaves”.