pith. sign in

arxiv: math/0409263 · v2 · submitted 2004-09-15 · 🧮 math.GM · math.CT

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

classification 🧮 math.GM math.CT
keywords semilatticesemilatticesultrabooleandistributivefiniteresultbooleanevery
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.