Author: nLab edit announcer Format: MarkdownItexAdding a draft definition of a Jordan curve in real cohesive homotopy type theory
Anonymous
<a href="https://ncatlab.org/nlab/revision/diff/Jordan+curve/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/Jordan+curve/3">v3</a>, <a href="https://ncatlab.org/nlab/show/Jordan+curve">current</a>
Adding a draft definition of a Jordan curve in real cohesive homotopy type theory
Author: nLab edit announcer Format: MarkdownItexMade it more general to any cohesive homotopy type theory
Anonymous
<a href="https://ncatlab.org/nlab/revision/diff/Jordan+curve/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/Jordan+curve/3">v3</a>, <a href="https://ncatlab.org/nlab/show/Jordan+curve">current</a>
Made it more general to any cohesive homotopy type theory