Author: nLab edit announcer Format: MarkdownItexrenaming page to "simplicially discrete type" since the Segal condition isn't needed for these types; it can be proven from the discreteness condition
Anonymouse
<a href="https://ncatlab.org/nlab/revision/diff/simplicially+discrete+type/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/simplicially+discrete+type/3">v3</a>, <a href="https://ncatlab.org/nlab/show/simplicially+discrete+type">current</a>
renaming page to “simplicially discrete type” since the Segal condition isn’t needed for these types; it can be proven from the discreteness condition