Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0707.1609

Equivariant monads and equivariant lifts versus a 2-category of distributive laws

Zoran Škoda
View original source ↗Read source document ↗Export metadata ↓

Abstract

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 a distributive law between the monad and the action of C, morphisms of monads respecting the distributive law, and transformations of monads satisfying some compatibility with the actions and distributive laws involved. The monads in this picture may be generalized to actions of monoidal categories, and actions of PRO-s in particular. If C is a PRO as well, then in special cases one gets various distributive laws of a given classical type, for example between a comonad and an endofunctor or between a monad and a comonad. The usual pentagons are in general replaced by multigons, and there are also ``mixed'' multigons involving two distinct distributive laws. Beck's bijection between the distributive laws and lifts of one monad to the Eilenberg-Moore category of another monad is here extended to an isomorphism of 2-categories. The lifts of maps of above mentioned pairs are colax C-equivariant. We finish with a short treatment of relative distributive laws between two pseudoalgebra structures which are relative with respect to the distributivity of two pseudomonads involved, what gives a hint toward the generalizations.

Explore related subjects

math.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zoran Škoda. 2007-07-11. Equivariant monads and equivariant lifts versus a 2-category of distributive laws. https://arxiv.org/abs/0707.1609

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Left properness of Moore flows

We introduce reparametrization categories with cuts. For every such category $\mathcal{P}$, the tensor product of two objectwise weak homotopy equivalences of $\mathcal{P}$-spaces is an objectwise weak homotopy equivalence, and the q-model structure on $\mathcal{P}$-flows is left proper. The reparametrization categories $\mathcal{G}$ and $\mathcal{M}$, as well as the terminal category $\mathbf{1}$, have cuts. The terminal category recovers the left properness of the q-model structure on ordinary flows. We also give a symmetric reparametrization category with cuts and a strict unit. This category is not equivalent to $\mathbf{1}$.

math.CT↗
arXiv2026

Fiber product of condensable algebras and critical points of boundary phase transitions

In this work, we propose a mathematical description of the critical point of boundary phase transitions in 2+1D topological orders. Given two boundary phases, $\mathcal{C}_A$ and $\mathcal{C}_B$, with corresponding Lagrangian algebras $A$ and $B$ in a 2+1D topological order $\mathcal{C}$, respectively, we propose that the critical point of the phase transition between these two phases, if it exists, corresponds to $D = A \times_{M} B$, which is the fiber product of $A$ and $B$ over $A$-$B$-algebra $M$. We prove that $D$ is also a condensable algebra. Additionally, we present an alternative classification of condensable algebras in $Z(Vec_G^ω)$ and reveal splitting phenomenon that arises during the condensation of certain algebras. We also perform explicit computations for the condensable algebras within several examples of $Z(Vec_G^ω)$, covering both Abelian and non-Abelian groups $G$.

math.CT↗
arXiv2026

Algebra of spectral duality structures

This paper establishes the algebraic and categorical foundations of spectral duality structures (SDS). We show that the class of all SDS admits the structure of a graded symmetric monoidal category, where the degree $K$ is the fundamental invariant indexing the strata. We define operations of Cartesian product and disjoint union, morphisms preserving involution and weights, and prove that $C^\ast=1/(1+\sqrt K)$ is a functor constant on each stratum. We classify objects up to isomorphism by the combinatorial type $(k,f)$, the degree $K$, and a multiset of inversion classes $[r]=\{r,r^{-1}\}$. In each degree, skeletons are exactly the finite $C_2$-sets over the additive group of the reals with $C_2$ acting by $t\mapsto -t$, which explains the monoidal structure and identifies the classification with the decomposition into orbits. Furthermore, we prove that the response rank is the rank of an explicit matrix built from the amplitudes and the weights, and hence exactly the number of non-trivial pairs $k$ under the full-rank condition, and we connect the categorical structure with the Fisher--Rao geometry of Paper V. The SDS, originally discovered in stochastic resetting problems, is thus an autonomous mathematical object with a rich algebraic structure and a natural geometric realisation.

math.CT↗