Author: Mike Shulman Format: MarkdownItexBrief thoughts. We should probably put this off for now, though, and focus first on getting to the the totality theorem.
<a href="https://ncatlab.org/nlab/revision/Initiality+Project+-+Uniqueness/1">v1</a>, <a href="https://ncatlab.org/nlab/show/Initiality+Project+-+Uniqueness">current</a>
Brief thoughts. We should probably put this off for now, though, and focus first on getting to the the totality theorem.