包含函子 meaning in English

inclusion functor

An important property of sobrification is given . by discussing the spectra of complete lattices , a theoretical foundation of sobrification of spaces is obtained . thus we know that the category of sober spaces is a reflective subcategory of the category of all the topological spaces with continuous functions
通过对完备格的谱理论的简单讨，为一般的拓扑空间及偏序集的sober匕做了理论上的铺垫z指出了拓扑空间的sober化函子是从sob到top的包含函子的左拌随，理想完备化函子是从alg到pos的遗忘函子的左拌随