symmetric monoidal (∞,1)-category of spectra
Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
The notion of a weak distributive law between two monads is a generalisation of that of a distributive law, in which forming the composite monad requires splitting an idempotent on the underlying composite endofunctor.
See also weak bimonad.
Weak distributive laws among monads:
For the weak mixed distributive law (monad and comonad) version see
2-categorical context in the sense of formal theory of monads is also exposed in
Gabriella Böhm, Stephen Lack, Ross Street, On the 2-categories of weak distributive laws, Comm. Alg. 39:12 (2011) 4567–4583 doi
Daniela Petrisan, Ralph Sarkis. Semialgebras and weak distributive laws, Proceedings 37th Conference on
Mathematical Foundations of Programming Semantics, EPTCS 351 (2021) 218–241. (doi:10.4204/EPTCS.351.14)
An application of weak distributive laws to explain weak wreath products (comparable to the treatment of wreaths in bicategories) and also related bilinear factorization structures
Last revised on December 20, 2023 at 15:33:04. See the history of this page for a list of all contributions to it.