Author: Urs Format: MarkdownItexAfter typing `[[fixed point]]-spaces` in various entries, I finally decided that "fixed point space" should have an entry of its own, with some comments and further pointers, if only for ease of hyperlinking.
<a href="https://ncatlab.org/nlab/revision/fixed+point+space/1">v1</a>, <a href="https://ncatlab.org/nlab/show/fixed+point+space">current</a>
After typing [[fixed point]]-spaces in various entries, I finally decided that “fixed point space” should have an entry of its own, with some comments and further pointers, if only for ease of hyperlinking.