Related papers: Pointed semibiproducts of monoids
Tied links and the tied braid monoid were introduced recently by the authors and used to define new invariants for classical links. Here, we give a version purely algebraic-combinatoric of tied links. With this new version we prove that the…
We introduce the notion of a braiding on a skew monoidal category, whose curious feature is that the defining isomorphisms involve three objects rather than two. These braidings are shown to arise from, and classify, cobraidings (also known…
We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence…
We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…
We define convexity canonically in the setting of monoids. We show that many classical results from convex analysis hold for functions defined on such groups and semigroups, rather than only on vector spaces. Some examples and…
The notions of Busby-Smith and Green type twisted actions are extended to discrete unital inverse semigroups. The connection between the two types, and the connection with twisted partial actions, are investigated. Decomposition theorems…
One way of interpreting a left Kan extension is as taking a kind of "partial colimit", whereby one replaces parts of a diagram by their colimits. We make this intuition precise by means of the "partial evaluations" sitting in the so-called…
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…
This paper introduces and studies a categorical analogue of the familiar monoid semiring construction. By introducing an axiomatisation of summation that unifies notions of summation from algebraic program semantics with various notions of…
We establish a correspondence between modules and spans of algebras within a general monoidal 2-category $\mathfrak{C}$. Specifically, for an algebra $A$ in $\mathfrak{C}$, we construct a normalized lax 3-functor from the 2-category of…
We study automaton structures, i.e. groups, monoids and semigroups generated by an automaton, which, in this context, means a deterministic finite-state letter-to-letter transducer. Instead of considering only complete automata, we…
We study the notion of $1$-twisted semi-homogeneous vector bundles on $\mathbb{G}_m$-gerbes over abelian varieties, and classify point objects in the twisted derived categories of abelian varieties. As an application, we classify the…
We adapt and generalise results of Loganathan on the cohomology of inverse semigroups to the cohomology of ordered groupoids. We then derive a five-term exact sequence in cohomology from an extension of ordered groupoids, and show that this…
In the paper we introduce a notion of the Bruck-Reilly $\lambda$-polycyclic extension of a monoid $S$ with a homomorphism $\theta$ which is an analogue of the Bruck-Reilly extension of a monoid $S$. We describe idempotens of the semigroup…
The Mordell-Lang conjecture describes the intersection of a finitely generated subgroup with a closed subvariety of a semiabelian variety. Equivalently, this conjecture describes the intersection of closed subvarieties with the set of…
Derived actions in the category of groups with action on itself $\mathbf{Gr}^{\bullet}$ are defined and described. This category plays a crucial role in the solution of Loday's two problems stated in the literature. A full subcategory of…
In this paper, we have studied the loops which are the semidirect products of a loop and a group. Also, the cummutant, nuclei and the center of such loops are studied.
In this paper, we introduce and investigate \emph{semicorings} over associative semirings and their categories of \emph{semicomodules.} Our results generalize old and recent results on corings over rings and their categories of comodules.…
Fix a monoidal category C. The 2-category of monads in the 2-category of C-actegories, colax C-equivarant functors, and C-equivariant natural transformations of colax functors, may be recast in terms of pairs consisting of a usual monad and…
The notion of quasicrossed product is introduced in the setting of G-graded quasialgebras, i.e., algebras endowed with a grading by a group G, satisfying a "quasiassociative" law. The equivalence between quasicrossed products and…