English
Related papers

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

200 papers

We construct and study projective and Reedy model category structures for bimodules and infinitesimal bimodules over topological operads. Both model structures produce the same homotopy categories. For the model categories in question, we…

Algebraic Topology · Mathematics 2021-06-10 Julien Ducoulombier , Benoit Fresse , Victor Turchin

For a regular normal element in an arbitrary ring, we study the category of its module factorizations. The cokernel functor relates module factorizations with Gorenstein projective components to Gorenstein projective modules over the…

Rings and Algebras · Mathematics 2025-08-28 Xiao-Wu Chen

We investigate a semigroup construction generalising the two-sided wreath product. We develop the foundations of this construction and show that for groups it is isomorphic to the usual wreath product. We also show that it gives a slightly…

Group Theory · Mathematics 2025-09-16 Michal Botur , Tomasz Kowalski

We introduce a formalism based on a combinatorial notion of cell complex subject to an inclusion-reversing duality operation. Our main goal is to open the way for a functorial definition of field theories in a context where no manifold or…

Mathematical Physics · Physics 2022-04-15 Maxime Savoy

The codomain category of a generalized homology theory is the category of modules over a ring. For an abelian category A, an A-valued (generalized) homology theory is defined by formally replacing the category of modules with the category…

Algebraic Topology · Mathematics 2020-05-12 Minkyu Kim

We extend the recently introduced setting of coherent differentiation for taking into account not only differentiation, but also Taylor expansion in categories which are not necessarily (left)additive. The main idea consists in extending…

Logic in Computer Science · Computer Science 2025-04-16 Thomas Ehrhard , Aymeric Walch

We develop a cofibrantly generated model category structure in the category of topological spaces in which weak equivalences are A-weak equivalences and such that the generalized CW(A)-complexes are cofibrant objects. With this structure…

Algebraic Topology · Mathematics 2014-05-12 Miguel Ottina

We investigate bicomplex analogues of fundamental notions from classical algebraic number theory. In particular, we show that the primitive element theorem admits a natural generalization to bicomplex extensions, giving rise to two distinct…

Number Theory · Mathematics 2026-02-17 Hichem Gargoubi , Sayed Kossentini

We extend the derived Algebraic bordism of Lowrey and Sch\"urg to a bivariant theory in the sense of Fulton and MacPherson, and establish some of its basic properties. As a special case, we obtain a completely new theory of cobordism rings…

Algebraic Geometry · Mathematics 2019-11-28 Toni Annala

A differential module is a module equipped with a square-zero endomorphism. This structure underpins complexes of modules over rings, as well as differential graded modules over graded rings. We establish lower bounds on the class--a…

Commutative Algebra · Mathematics 2009-11-11 Luchezar L. Avramov , Ragnar-Olaf Buchweitz , Srikanth Iyengar

Given a chiral algebra, we study modules over an arbitrary power of a curve. We describe this category in three different ways: in terms of factorization, in terms of certain chiral operations and as modules for a lie algebra in a certain…

Algebraic Geometry · Mathematics 2010-10-12 N. Rozenblyum

For a coalgebra $C_k$ over field $k$, we define the "coalgebra extension problem" as the question: what multiplication laws can we define on $C_k$ to make it a bialgebra over $k$? This paper answers this existence-uniqueness question for…

Quantum Algebra · Mathematics 2022-01-28 Aaron Brookner

We study categorical models for the unitless fragment of multiplicative linear logic. We find that the appropriate notion of model is a special kind of promonoidal category. Since the theory of promonoidal categories has not been developed…

Logic in Computer Science · Computer Science 2013-05-14 Robin Houston

For a small quantaloid $\mathcal{Q}$ we consider four fundamental 2-monads $\mathbb{T}$ on $\mathcal{Q}\text{-}{\bf Cat}$, given by the presheaf 2-monad $\mathbb{P}$ and the copresheaf 2-monad $\mathbb{P}^{\dagger}$, as well as by their two…

Category Theory · Mathematics 2017-07-13 Hongliang Lai , Lili Shen , Walter Tholen

We study the canonical weak distributive law $\delta$ of the powerset monad over the semimodule monad for a certain class of semirings containing, in particular, positive semifields. For this subclass we characterise $\delta$ as a convex…

Logic in Computer Science · Computer Science 2023-06-22 Filippo Bonchi , Alessio Santamaria

The theory of commutative monads on cartesian closed categories provides a framework where aspects of the theory of distributions and other extensive quantities can be formulated and some results proved. We make explicit a link between our…

Category Theory · Mathematics 2011-08-31 Anders Kock

We develop further the theory of monoidal bicategories by introducing and studying bicategorical counterparts of the notions of a linear exponential comonad, as considered in the study of linear logic, and of a codereliction transformation,…

Category Theory · Mathematics 2025-09-17 M. Fiore , N. Gambino , M. Hyland

The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There…

Quantum Algebra · Mathematics 2008-06-11 Bachuki Mesablishvili , Robert Wisbauer

A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products is distributive. Usually, the proof of this small result is carried on using the fact that the exponential functor is right adjoint to…

Category Theory · Mathematics 2014-06-16 Marco Benini

This paper investigates coherent-like conditions and related properties that a trivial extension might inherit from the ground ring over some classes of modules. It captures previous results dealing primarily with coherence, and also…

Commutative Algebra · Mathematics 2007-05-23 S. Kabbaj , N. Mahdou