Complemented MacNeille completions and algebras of fractions
Nick Galatos, Adam P\v{r}enosil

TL;DR
This paper develops a framework for embedding bimonoids into complemented bimonoids, generalizing classical algebraic completions, and establishes categorical equivalences among various algebraic structures.
Contribution
It introduces complemented bimonoids and proves their embeddings, unifying several algebraic structures through categorical equivalences.
Findings
Every commutative bimonoid embeds into a complete complemented bimonoid.
The complemented completion is term equivalent to a commutative involutive residuated lattice.
The algebra of fractions generalizes known structures like groups of fractions and Heyting algebras.
Abstract
We introduce (-)bimonoids as ordered algebras consisting of two compatible monoidal structures on a partially ordered (lattice-ordered) set. Bimonoids form an appropriate framework for the study of a general notion of complementation, which subsumes both Boolean complements in bounded distributive lattices and multiplicative inverses in monoids. The central question of the paper is whether and how bimonoids can be embedded into complemented bimonoids, generalizing the embedding of cancellative commutative monoids into their groups of fractions and of bounded distributive lattices into their free Boolean extensions. We prove that each commutative (-)bimonoid indeed embeds into a complete complemented commutative -bimonoid in a doubly dense way reminiscent of the Dedekind--MacNeille completion. Moreover, this complemented completion, which is term equivalent to a…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Rough Sets and Fuzzy Logic · semigroups and automata theory
