Related papers: Extended Distributive Law: Co-wreath over co-rings

After we introduced biwreaths and biwreath-like objects in our previous paper, in the present one we define paired wreaths. In a paired wreath there is a monad $B$ and a comonad $F$ over the same 0-cell in a 2-category $\K$, so that $F$ is…

Various statistics on wreath products are defined via canonical words, "colored" right to left minima and "colored" descents. It is shown that refined counts with respect to these statistics have nice recurrence formulas of…

We study the transfer of (co)silting objects in derived categories of module categories via the extension functors induced by a morphism of commutative rings. It is proved that the extension functors preserve (co)silting objects of…

Prolongations of a group extension can be studied in a more general situation that we call group extensions of the co-type of a crossed module. Cohomology classification of such extensions is obtained by applying the obstruction theory of…

This works concerns cohomological support varieties of modules over commutative local rings. The main result is that the support of a derived tensor product of a pair of differential graded modules over a Koszul complex is the join of the…

Motivated by the Poisson Dixmier-Moeglin equivalence problem, a systematic study of commutative unitary rings equipped with a {\em biderivation}, namely a binary operation that is a derivation in each argument, is here begun, with an eye…

A weak mixed distributive law (also called weak entwining structure) in a 2-category consists of a monad and a comonad, together with a 2-cell relating them in a way which generalizes a mixed distributive law due to Beck. We show that a…

Covariant Hom-bimodules are introduced and the structure theory of them in the Hom-setting is studied in a detailed way. The category of bicovariant Hom-bimodules is proved to be a (pre)braided monoidal category and its structure theory is…

In this paper we consider the conditions that need to be satisfied by two families of pseudofunctors with a common codomain for them to be collated into a bifunctor. We observe similarities between these conditions and distributive laws of…

We write down a series of basic laws for (strict) higher-order circuit diagrams. More precisely, we define higher-order circuit theories in terms of: (a) nesting, (b) temporal and spatial composition, and (c) equivalence between lower-order…

Linearly distributive categories were introduced to model the tensor/par fragment of linear logic, without resorting to the use of negation. Linear bicategories are the bicategorical version of linearly distributive categories. Essentially,…

The category $_{A}\mathbb{S}_{A}$ of bisemimodules over a semialgebra $A,$ with the so called Takahashi's tensor product $-\boxtimes_{A}-,$ is semimonoidal but not monoidal. Although not a unit in $_{A}\mathbb{S}%_{A},$ the base semialgebra…

We show that, with some technical conditions, an abelian category can be embedded into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.

We introduce the concept of braided alternative bialgebra. The theory of cocycle bicrossproducts for alternative bialgebras is developed. As an application, the extending problem for alternative bialgebra is solved by using some non-abelian…

Using Sheaf duality theory of Comer for cylindric algebras, we give a representation theorem of of distributive bounded lattices expanded by modalities (functions distributing over joins) as the continuous sections of sheaves. Our…

By a theorem due to Kato and Ohtake, any (not necessarily strict) Morita context induces an equivalence between appropriate subcategories of the module categories of the two rings in the Morita context. These are in fact categories of firm…

We define and study a certain relative tensor product of subfactors over a modular tensor category. This gives a relative tensor product of two completely rational heterotic full local conformal nets with trivial superselection structures…

We study lax functors between bicategories as a generalized concept of monads and describe generalized notions and theorems of formal monad theory for lax functors. Our first approach is to use the 2-monad whose lax algebras are lax…

We present a categorical theory of monads and distributive laws in substructural contexts. In the study of distributive laws, the roles of (the absence of) structural rules for variable contexts have been recognized; our theory formalizes…

We study a coderivation from a cobimodule into a coalgebra. Vector cofields are defined by the action of a codual bicomodule on a coalgebra. This action is induced by a codifferential. A construction of a codual object in the category of…