范畴论与实闭域：NLab页面范畴性质内容翻译及技术问询

在实闭域的NLab页面里，有几条关于它范畴论性质的表述，翻译过来是这样的：

• (1) 实际上，由实闭域和保序域同态构成的范畴，是由域和域同态构成的范畴的满子范畴。

• (2) 定理：从实闭域与域同态构成的范畴到有序域与有序域同态构成的范畴的满嵌入函子存在左伴随。该定理附有对应的证明过程……

内容的提问来源于stack exchange，提问作者Zal Tukhara