Related papers: 2 Category of FRBSU Monoidal Categories and Crosse…
It is well-known that small categories have equivalent descriptions as partial monoids. We provide a formulation of partial monoid and partial monoid homomorphism involving $s$ and $t$ instead of identities and then following a recent…
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…
We categorify various finite-type cluster algebras with coefficients using completed orbit categories associated to Frobenius categories. Namely, the Frobenius categories we consider are the categories of finitely generated Gorenstein…
We study internal structures in regular categories using monoidal methods. Groupoids in a regular Goursat category can equivalently be described as special dagger Frobenius monoids in its monoidal category of relations. Similarly,…
In this work we develop some categorical aspects of the double structure of a module.
We prove that the monoidal 2-category of cospans of finite linear orders and surjections is the universal monoidal category with an object X with a semigroup and a cosemigroup structures, where the two structures satisfy a certain…
We prove that the 2-category of skeletally small abelian categories with exact monoidal structures is anti-equivalent to the 2-category of fp-hom-closed definable additive categories satisfying an exactness criterion. For a fixed finitely…
We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2-categories and their applications to 4d topological quantum field theories and 2-tangles (surfaces embedded in 4-dimensional space). Then we give…
In this paper, we develop 2-dimensional algebraic theory which closely follows the classical theory of modules. The main results are giving definitions of 2-module and the representation of 2-ring. Moreover, for a 2-ring $\cR$, we prove…
In this paper we explore some categorical results of 2-crossed module of commutative algebras extending work of Porter in [18]. We also show that the forgetful functor from the category of 2-crossed modules to the category of k-algebras,…
If $\Gamma $ is a group, then braided $\Gamma $-crossed modules are classified by braided strict $\Gamma $-graded categorial groups. The Schreier theory obtained for $\Gamma $-module extensions of the type of an abelian $\Gamma $-crossed…
In this study, we interpret the notion of homotopy of morphisms in the category of crossed modules in a category $\mathsf{C}$ of groups with operations using the categorical equivalence between crossed modules and internal categories in…
In this paper we present some applications of Ann-category theory to classification of crossed bimodules over rings, classification of ring extensions of the type of a crossed bimodule.
In this work, it is shown that the category XMod/P of crossed modules over fixed group P is an exact category and the complete proof of the embedding theorem of XMod/P into a set valued functor category is given.
This paper studies the existence of and compatibility between derived change of ring, balanced product, and function module derived functors on module categories in monoidal model categories.
We present here definitions and constructions basic for the theory of monoidal and tensor categories. We provide references to the original sources, whenever possible. Group-theoretical categories are used as examples
In this article, we will show that the category of biset functors can be regarded as a reflective monoidal subcategory of the category of Mackey functors on the 2-category of finite groupoids. This reflective subcategory is equivalent to…
This article generalizes the correspondence between matrix factorizations and maximal Cohen-Macaulay modules over hypersurface rings due to Eisenbud and Yoshino. We consider factorizations with several factors in a purely categorical…
We classify various types of graded extensions of a finite braided tensor category $\cal B$ in terms of its $2$-categorical Picard groups. In particular, we prove that braided extensions of $\cal B$ by a finite group $A$ correspond to…
A groupoid is a small category in which all morphisms are isomorphisms. An inductive groupoid is a specialised groupoid whose object set is a regular biordered set and the morphisms admit a partial order. A normal category is a specialised…