Author: PaoloPerrone Format: MarkdownItexcreated page, more to come
<a href="https://ncatlab.org/nlab/revision/compact+ordered+space/1">v1</a>, <a href="https://ncatlab.org/nlab/show/compact+ordered+space">current</a>
Author: PaoloPerrone Format: MarkdownItexstarted section about monadicity, more to be added
<a href="https://ncatlab.org/nlab/revision/diff/compact+ordered+space/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/compact+ordered+space/2">v2</a>, <a href="https://ncatlab.org/nlab/show/compact+ordered+space">current</a>
started section about monadicity, more to be added