Normal Spaces via Urysohn's Lemma as a Lifting Property
We present a translation of Urysohn's description of normal spaces (as those where disjoint closed subsets are separated by a continuous function) into the language of lifting properties in $\mathbf{Top}$, correcting a frequently-cited previous erroneous translation. We also present a translation of the definition of hereditarily normal spaces as those in which every open subspace is normal, by directly 'mapping' the translation of the usual description of normal spaces.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.11178
curl -X POST /api/v1/records/arxiv/2602.11178/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.11178/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'