Related papers: The Booleanization of an inverse semigroup
We present an algorithmic equivalent statement to the Jacobian conjecture. Given a polynomial map F on an affine space of dimension n, our algorithm constructs n sequences of polynomials such that F is invertible if and only if the zero…
We study $\mathbb{E}_\infty$-monoids on which a prime $p$ acts invertibly, which we call $p$-perfect, in the non-group-complete situation. In particular, we prove that in many examples, they almost embed in their group-completion. We…
Given a pair of adjoint functors between two arbitrary categories it induces mutually inverse equivalences between the full subcategories of the initial ones, consisting of objects for which the arrows of adjunction are isomorphisms. We…
We discuss functions from edges and vertices of an undirected graph to an Abelian group. Such functions, when the sum of their values along any cycle is zero, are called balanced labelings. The set of balanced labelings forms an Abelian…
Bergman has given the following abstract characterisation of the inner automorphisms of a group $G$: they are exactly those automorphisms of $G$ which can be extended functorially along any homomorphism $G \rightarrow H$ to an automorphism…
This note relates axioms for partial semigroups and monoids with those for small object-free categories, either with multiple monoidal units or with source and target maps. We discuss the adjunction of a zero element to both kinds of…
We show the vanishing of higher extension groups and torsion groups between linearisation of additive functors from a semi-additive category satisfying some conditions to a category of vector spaces. In particular, we apply our results to…
We study the left adjoint $\mathbb{D}$ to the forgetful functor from the $\infty$-category of symmetric monoidal $\infty$-categories with duals and finite colimits to the $\infty$-category of symmetric monoidal $\infty$-categories with…
Recently we have shown that the equivalence classes of metrics on the double of a metric space $X$ form an inverse semigroup. Here we define an inverse subsemigroup related to a family of isometric subspaces of $X$, which is more…
We establish a close and previously unknown relation between quantales and groupoids, in terms of which the notion of etale groupoid is subsumed in a natural way by that of quantale. In particular, to each etale groupoid, either localic or…
We determine when an antiinvolution on an adjoint semisimple linear algebraic group extends to an antiinvolution on a $J$-irreducible monoid. Using this information, we study a special class of compactifications of symmetric varieties.…
In a previous paper we introduced the concept of semiseparable functor. Here we continue our study of these functors in connection with idempotent (Cauchy) completion. To this aim, we introduce and investigate the notions of (co)reflection…
It is well known from universal algebra that, for every signature $\Sigma$, there exist algebras over $\Sigma$ which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping…
The binary products of right, left or double division in semigroups that are semilattices of groups give interesting groupoid structures that are in one to one correspondence with semigroups that are semilattices of groups. This work is…
In this article we study left I-orders in the bicyclic monoid $\mathcal{B}$. We give necessary and sufficient conditions for a subsemigroup of $\mathcal{B}$ to be a left I-oreder in $\mathcal{B}$. We then prove that any left I-order in…
We investigate the computational complexity of various decision problems related to conjugacy in finite inverse semigroups. We describe polynomial-time algorithms for checking if two elements in such a semigroup are ~p conjugate and whether…
We study a generalization of the classical correspondence between homogeneous quadratic polynomials, quadratic forms, and symmetric/alternating bilinear forms to forms in $n$ variables. The main tool is combinatorial polarization, and the…
We investigate the Banach Lie groupoids and inverse semigroups naturally associated to W*-algebras. We also present statements describing relationship between these groupoids and the Banach Poisson geometry which follows in the canonical…
We build on the description of left congruences on an inverse semigroup in terms of the kernel and trace due to Petrich and Rankin. The notion of an inverse kernel for a left congruence is developed. Various properties of both the trace and…
Let $\mathcal{C}$ be a finite tensor category with simple unit object, let $\mathcal{Z}(\mathcal{C})$ denote its monoidal center, and let $L$ and $R$ be a left adjoint and a right adjoint of the forgetful functor $U:…