Related papers: Internal monoids and groups in the category of com…

We generalize the constructions of [17,19] to layered semirings, in order to enrich the structure and provide finite examples for applications in arithmetic (including finite examples). The layered category theory of [19] is extended…

We develop a new technique for studying monomial ideals in the standard polynomial rings $A[X_1,\ldots,X_d]$ where $A$ is a commutative ring with identity. The main idea is to consider induced ideals in the semigroup ring…

Let $M$ be a positive homogeneously presented monoid ${\langle L \mid R\,\rangle}_{mo}$. If $M$ satisfies the cancellation condition and carries certain particular elements similar to the \emph{fundamental elements} in Artin monoids, then…

We consider a version of the notion of F-inverse semigroup (studied in the algebraic theory of inverse semigroups). We point out that an action of such an inverse semigroup on a locally compact space has associated a natural groupoid…

The authors [3] proved that the endomorphism semiring of a nontrivial semilattice is always subdirectly irreducible and described its monolith. Here we prove that the endomorphism semiring of a commutative inverse semigroup with at least…

The category of involutive non-commutative sets encodes the structure of an involution compatible with a (co)associative (co)multiplication. We prove that the category of involutive bimonoids in a symmetric monoidal category is equivalent…

Let M be a smooth compact manifold with boundary. Under some geometric conditions on M, a homotopical model for the pair (M,boundary of M) can be recovered from the configuration category of the interior of M. The grouplike monoid of…

A finitely generated commutative monoid is uniquely presented if it has only a minimal presentation. We give necessary and sufficient conditions for finitely generated, combinatorially finite, cancellative, commutative monoids to be…

Say that a cone is a commutative monoid in which x+y=0 implies that x=y=0. We show that cones (resp. simple cones) of many kinds order-embed or even embed unitarily into refinement cones (resp. simple refinement cones) of the same kind,…

We study the semigroup $\mathscr{I}^{\mathrm{cf}}_\lambda$ of injective partial cofinite selfmaps of an infinite cardinal $\lambda$. We show that $\mathscr{I}^{\mathrm{cf}}_\lambda$ is a bisimple inverse semigroup and each chain of…

We continue the study of the structure of general subgroups (in particular maximal subgroups, also known as group $\mathcal{H}$-classes) of special inverse monoids. Recent research of the authors has established that these can be quite…

We construct a category equivalent to the category $\mathbf{Mon}$ of monoids and monoid homomorphisms, based on categories with strict factorization systems. This equivalence is then extended to the category $\mathbf{Mon_s}$ of unital…

We investigate the properties of the Kleisli category KlT of a monad (T,{\lambda},{\mu}) on a category E and in particular the existence of (some kind of) pullbacks. This culminates when the monad is cartesian. In this case, we show that…

Let $H$ be a (multiplicatively written) monoid. The family $\mathcal{P}_{\text{fin},1}(H)$ of finite subsets of $H$ containing the identity element is itself a monoid when endowed with setwise multiplication induced by $H$. Tringali and Yan…

We show that either of the two reasonable choices for the category of compact quantum groups is nice enough to allow for a plethora of universal constructions, all obtained "by abstract nonsense" via the adjoint functor theorem. This…

We investigate the notion of involutive weak globular $\omega$-categories via Jacque Penon's approach. In particular, we give the constructions of a free self-dual globular $\omega$-magma, of a free strict involutive globular…

In the second section, we introduce dense unital magmas and show that a near-ring is dense if and only if it has a positive element smaller that unity. In the third section, we discuss magma-valued metric spaces. The density property of the…

The category of I-spaces is the diagram category of spaces indexed by finite sets and injections. This is a symmetric monoidal category whose commutative monoids model all E-infinity spaces. Working in the category of I-spaces enables us to…

Lenses may be characterised as objects in the category of algebras over a monad, however they are often understood instead as morphisms, which propagate updates between systems. Working internally to a category with pullbacks, we define…

We define the notion of whiskered categories and groupoids, showing that whiskered groupoids have a commutator theory. So also do whiskered $R$-categories, thus answering questions of what might be `commutative versions' of these theories.…