通过Urysohn引理的提升性质来定义正常空间
Normal Spaces via Urysohn's Lemma as a Lifting Property
AI总结：
本文通过Urysohn引理的提升性质重新定义正常空间，并将继承正常空间的定义转化为开子空间的正常性条件。
摘要：
我们把Urysohn对正常空间的描述（即不相交的闭集可通过连续函数分离）翻译成提升性质的语言，在$\mathbf{Top}$中，纠正了一个经常被引用的错误翻译。我们还通过直接‘映射’通常正常空间描述的翻译，将继承正常空间的定义呈现为那些每一个开子空间都是正常空间的空间。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
