Related papers: The Booleanization of an inverse semigroup
In a group $G$, elements $a$ and $b$ are conjugate if there exists $g\in G$ such that $g^{-1} ag=b$. This conjugacy relation, which plays an important role in group theory, can be extended in a natural way to inverse semigroups: for…
We prove that both, the embedding of the category of Hopf algebras into that of bialgebras and the forgetful functor from the category of Hopf algebras to the category of algebras, have right adjoints; in other words: every bialgebra has a…
It is well-known in universal algebra that adding structure and equational axioms generates forgetful functors between varieties, and such functors all have left adjoints. The category of elementary doctrines provides a natural framework…
We describe the structure of finite Boolean inverse monoids and apply our results to the representation theory of finite inverse semigroups. We then generalize to semisimple Boolean inverse semigroups.
A subsemigroup $S$ of an inverse semigroup $Q$ is a left I-order in $Q$, if every element in $Q$ can be written as $a^{-1}b$ where $a, b \in S$ and $a^{-1}$ is the inverse of $a$ in the sense of inverse semigroup theory. We study a…
In this paper we provided an explicit construction for the left adjoint of the forgetful functor from the category of Heyting algebras to that of Hilbert algebras. This functor factorizes through the free implicative semilattice extension…
We prove that every ordered partial action of an inverse semigroupoid on a partially ordered set admits a globalization. This result is used to establish a connection between ordered partial actions of groupoids and a multi-object analogue…
We present two results on the relation between the class of right regular bands (RRBs) and their underlying *associative posets*. The first one is a construction of a left adjoint to the forgetful functor that takes an RRB $(P,\cdot)$ to…
We introduce a category of inverse semigroup actions and a category of \'etale groupoids. We show that there are three functors which send inverse semigroups to their spectral actions, inverse semigroup actions to their transformation…
We show that any adjoint absolutely simple linear algebraic group over a field of characteristic zero is the automorphism group of some projector on a central simple algebra. Projective homogeneous varieties can be described in these terms;…
Let R be a ring and let T be a hereditary torsion class of R-modules. The inclusion of the localizing subcategory generated by T into the derived category of R has a right adjoint, which is a colocalization. Benson has recently shown how to…
The partial automorphism monoid of an inverse semigroup is an inverse monoid consisting of all isomorphisms between its inverse subsemigroups. We prove that a tightly connected fundamental inverse semigroup $S$ with no isolated nontrivial…
There are many contexts in algebraic geometry, algebraic topology, and homological algebra where one encounters a functor that has both a left and right adjoint, with the right adjoint being isomorphic to a shift of the left adjoint…
A subsemigroup $S$ of an inverse semigroup $Q$ is a left I-order in $Q$ if every element in $Q$ can be written as $a^{-1}b$ where $a,b \in S$ and $a^{-1}$ is the inverse of $a$ in the sense of inverse semigroup theory. If we insist on $a$…
We introduce a preorder on an inverse semigroup $S$ associated to any normal inverse subsemigroup $N$, that lies between the natural partial order and Green's ${\mathscr J}$-relation. The corresponding equivalence relation $\simeq_N$ is not…
In this work, the notion of a quantum inverse semigroup is introduced as a linearized generalization of inverse semigroups. Beyond the algebra of an inverse semigroup, which is the natural example of a quantum inverse semigroup, several…
As an appropriate generalisation of the features of the classical (Schein) theory of representations of inverse semigroups in $\mathscr{I}_{X}$, a theory of representations of inverse semigroups by homomorphisms into complete atomistic…
We study a non-commutative generalization of Stone duality that connects a class of inverse semigroups, called Boolean inverse $\wedge$-semigroups, with a class of topological groupoids, called Hausdorff Boolean groupoids. Much of the paper…
We develop the theory of distributive inverse semigroups as the analogue of distributive lattices without top element and prove that they are in a duality with those etale groupoids having a spectral space of identities, where our spectral…
We curry the elementary arithmetic operations of addition and multiplication to give monotone injections on N, and describe & study the inverse monoids that arise from also considering their generalised inverses. This leads to well-known…