English
Related papers

Related papers: The weak theory of monads

200 papers

Let k be a commutative ring with unit. We endow the categories of filtered complexes and of bicomplexes of k-modules, with cofibrantly generated model structures, where the class of weak equivalences is given by those morphisms inducing a…

Algebraic Topology · Mathematics 2020-12-09 Joana Cirici , Daniela Egas Santander , Muriel Livernet , Sarah Whitehouse

We study the notion of weak amalgamation in the context of diagonal conjugacy classes. Generalizing results of Kechris and Rosendal, we prove that for every countable structure $M$, Polish group $G$ of permutations of $M$, and $n \geq 1$,…

Logic · Mathematics 2022-03-11 Maciej Malicki

We define weak units in a semi-monoidal 2-category $\CC$ as cancellable pseudo-idempotents: they are pairs $(I,\alpha)$ where $I$ is an object such that tensoring with $I$ from either side constitutes a biequivalence of $\CC$, and $\alpha:…

Category Theory · Mathematics 2014-07-15 André Joyal , Joachim Kock

The aim of this paper is to define and study Yetter-Drinfeld modules over weak Hom-Hopf algebras. We show that the category ${}_H{\cal WYD}^H$ of Yetter-Drinfeld modules with bijective structure maps over weak Hom-Hopf algebras is a rigid…

Rings and Algebras · Mathematics 2016-03-01 Shuangjian Guo , Yizheng Li , Shengxiang Wang

In a previous paper with Kashyap we generalized the theory of $W^*$-modules to the setting of modules over nonselfadjoint dual operator algebras, obtaining the class of weak*-rigged modules. The present paper and its contemporaneous…

Operator Algebras · Mathematics 2017-01-31 David P. Blecher

Whereas formal category theory is classically considered within a $2$-category, in this paper a double-dimensional approach is taken. More precisely we develop such theory within the setting of augmented virtual double categories, a notion…

Category Theory · Mathematics 2022-10-11 Seerp Roald Koudenburg

This paper uses monads and comonads to establish a certain type of equivalence between two subcategories, one reflective and one coreflective, in a category whose objects represent compactifications of non-compact locally compact Hausdorff…

Operator Algebras · Mathematics 2026-01-14 Jeri Ann Spiker

A categorical model of the multiplicative and exponential fragments of intuitionistic linear logic ($\mathsf{MELL}$), known as a \emph{linear category}, is a symmetric monoidal closed category with a monoidal coalgebra modality (also known…

Logic in Computer Science · Computer Science 2023-06-22 Jean-Simon Pacaud Lemay

We propose a definition of double categories whose composition of 1-cells is weak in both directions. Namely, a doubly weak double category is a double computad -- a structure with 2-cells of all possible double-categorical shapes --…

Category Theory · Mathematics 2026-05-25 Aaron David Fairbanks , Michael Shulman

We introduce the notion of weak Lie 2-bialgebra. Roughly, a weak Lie 2-bialgebra is a pair of compatible 2-term $L_\infty$-algebra structures on a vector space and its dual. The compatibility condition is described in terms of the big…

Mathematical Physics · Physics 2013-03-26 Zhuo Chen , Mathieu Stienon , Ping Xu

We study semi-strict tricategories in which the only weakness is in vertical composition. We construct these as categories enriched in the category of bicategories with strict functors, with respect to the cartesian monoidal structure. As…

Category Theory · Mathematics 2022-12-23 Eugenia Cheng , Alexander S. Corner

The theory of 2-monads entails that, for a strict monoidal category C, there is a strict monoidal category L(C) such that strict monoidal functors from L(C) are precisely the lax monoidal functors from C. We give an elementary,…

Category Theory · Mathematics 2026-04-28 Alexis Langlois-Rémillard , Mateusz Stroiński

In this paper we introduce the notion of weak operator and the theory of Yetter-Drinfeld modules over a weak braided Hopf algebra with invertible antipode in a strict monoidal category. We prove that the class of such objects constitutes a…

The multipullback quantization of complex projective spaces lacks the naive quantum CW-complex structure because the quantization of an embedding of the $n$-skeleton into the $(n+1)$-skeleton does not exist. To overcome this difficulty, we…

K-Theory and Homology · Mathematics 2022-01-03 Francesco D'Andrea , Piotr M. Hajac , Tomasz Maszczyk , Albert Sheu , Bartosz Zielinski

This thesis focuses on topics in 2-category theory: in particular on double categories, pseudomonads and codescent objects. In Chapter 2 we recall all the necessary notions. In Chapter 3 we show that factorization systems can be…

Category Theory · Mathematics 2025-04-08 Miloslav Štěpán

The weak units of strict monoidal 1- and 2-categories are already defined. In this paper, we define them for group-like 1- and 2-stacks. We show that they form a contractible Picard 1- and 2-stack, respectively. We give their cohomological…

Algebraic Geometry · Mathematics 2015-10-01 Ettore Aldrovandi , Ahmet Emin Tatar

Every fusion category C that is k-linear over a suitable field k, is the category of finite-dimensional comodules of a Weak Hopf Algebra H. This Weak Hopf Algebra is finite-dimensional, cosemisimple and has commutative bases. It arises as…

Quantum Algebra · Mathematics 2011-04-21 Hendryk Pfeiffer

The class of weak BCK-algebras is obtained by weakening one of standard BCK axioms. It is known that every weak BCK-algebra is completely determined by the structure of its initial segments. We review several natural classes of commutative…

Logic · Mathematics 2015-02-10 Janis Cirulis

Let $B$ be a Banach $A-bimodule$. We introduce the weak topological centers of left module action and we show it by $\tilde{{Z}}^\ell_{B^{**}}(A^{**})$. For a compact group, we show that $L^1(G)=\tilde{Z}_{M(G)^{**}}^\ell(L^1(G)^{**})$ and…

Functional Analysis · Mathematics 2020-10-28 Mostfa Shams Kojanaghi , Kazem Haghnejad Azar

Using crossed homomorphisms, we show that the category of weak representations (resp. admissible representations) of Lie-Rinehart algebras (resp. Leibniz pairs) is a left module category over the monoidal category of representations of Lie…

Representation Theory · Mathematics 2023-08-31 Yufeng Pei , Yunhe Sheng , Rong Tang , Kaiming Zhao