arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv math/0409263math.GMmath.CT
收藏

作为超布尔收缩的分配半格;无附加的函逆

Distributive semilattices as retracts of ultraboolean ones; functorial inverses without adjunction

Friedrich Wehrung

摘要:

(v,0)-半格是超布尔格,如果它是有限布尔(v,0)-半格的有向并.证明了每个分配(v,0)-半格都是某些超布尔(v,0)-半格的收缩核.这是通过证明每个有限分配(v,0)-半格是某个有限布尔(v,0)-半格的收缩而建立的,并且这是以函子的方式。这个结果是,反过来,作为一个特殊情况下的范畴理论的结果,给出了充分条件,函子$ Pi$,承认一个右逆。用于上述超布尔半格结果的特殊函子$ Pi$既没有右伴随也没有左伴随.

英文摘要:

A (v,0)-semilattice is ultraboolean, if it is a directed union of finite Boolean (v,0)-semilattices. We prove that every distributive (v,0)-semilattice is a retract of some ultraboolean (v,0)-semilattices. This is established by proving that every finite distributive (v,0)-semilattice is a retract of some finite Boolean (v,0)-semilattice, and this in a functorial way. This result is, in turn, obtained as a particular case of a category-theoretical result that gives sufficient conditions, for a functor $ Pi$, to admit a right inverse. The particular functor $ Pi$ used for the abovementioned result about ultraboolean semilattices has neither a right nor a left adjoint.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑