Related papers: Crossed modules of monoids II. Relative crossed mo…
The established equivalence between 2-crossed modules and Gray 3-groups [M. Sarikaya and E. Ulualan, 2024] serves as a benchmark for higher-dimensional algebraic models. However, to the best of our knowledge, the established definitions of…
Certain aspects of Street's formal theory of monads in 2-categories are extended to multimonoidal monads in symmetric strict monoidal 2-categories. Namely, any symmetric strict monoidal 2-category $\mathcal M$ admits a symmetric strict…
In this paper, we state the notion of morphisms in the category of abelian crossed modules and prove that this category is equivalent to the category of strict Picard categories and regular symmetric monoidal functors. The theory of…
Let $A$ be a Hopf algebra in a braided category $\cal C$. Crossed modules over $A$ are introduced and studied as objects with both module and comodule structures satisfying a compatibility condition. The category $\DY{\cal C}^A_A$ of…
Skew monoidal categories are monoidal categories with non-invertible `coherence' morphisms. As shown in a previous paper bialgebroids over a ring R can be characterized as the closed skew monoidal structures on the category Mod R in which…
We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then present an efficient method to define pseudomonas on the…
It is known that finite crossed modules provide premodular tensor categories. These categories are in fact modularizable. We construct the modularization and show that it is equivalent to the module category of a finite Drinfeld double.
Ramified monoids are a class of monoids introduced by the authors. The main motivation for considering these monoids comes from knot theory, see [3, 4, 5]. Thus, in [2] we have studied the ramified monoids of the symmeytric group and of the…
A general procedure is presented which associates to a finite crossed module a premodular category, generalizing the representation categories of a finite group and of its double, and the extent to which the resulting category fails to be…
This is an overview of the idea of a crossed module. For a group, the triple that consists of the group, its group of automorphisms, and the canonical homomorphism from the group to its group of automorphisms constitutes a crossed module.…
We provide an explicit and elementary construction of the Morita $(\infty,2)$-category of a monoidal category which satisfies minimal conditions. We construct it as a $3$-coskeletal $2$-complicial set, in which the vertices encode the…
In this paper we study grouplike monoids, these are monoids that contain a group to which we add an ordered set of idempotents. We classify finite categories with two objects having grouplike endomorphism monoids, and we give a count of…
The question was asked by Niranjan Ramachandran: how to describe the fundamental groupoid of LX, the free loop space of a space X? We give an answer by assuming X to be the classifying space of a crossed module over a group, and then…
We construct Quillen equivalences between the model categories of monoids (rings), modules and algebras over two Quillen equivalent model categories under certain conditions. This is a continuation of our earlier work where we established…
This paper is a contribution to the construction of non-semisimple modular categories. We establish when M\"uger centralizers inside non-semisimple modular categories are also modular. As a consequence, we obtain conditions under which…
We introduce some algebraic structures such as singularity, commutators and central extension in modified categories of interest. Additionally, we introduce the cat$^{1}$-objects with their connection to crossed modules in these categories…
This is the first of a series of papers in which we initiate and develop the theory of reflection monoids, motivated by the theory of reflection groups. The main results identify a number of important inverse semigroups as reflection…
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 extend the theory of Sweeder's measuring comonoids to the framework of duoidal categories: categories equipped with two compatible monoidal structures. We use one of the tensor products to endow the category of monoids for the other with…
We explore the relations among quadratic modules, 2-crossed modules, crossed squares and simplicial groups with Moore complex of length 2.