作为超布尔收缩的分配半格;无附加的函逆
Distributive semilattices as retracts of ultraboolean ones; functorial inverses without adjunction
摘要:
(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分析而来,可能存在错误,请以论文正文为准。