Homotopy Type Theory axiom R-flat > history (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Definition

Axiom RR\flat: For a space AA, AA is discrete if and only if const:A(A)const: A \to (\mathbb{R} \to A) is an equivalence, where \mathbb{R} is the Dedekind real numbers.

See also

References

Revision on April 22, 2022 at 23:29:42 by Anonymous?. See the history of this page for a list of all contributions to it.