Related papers: 2-dimensional bifunctor theorems and distributive …
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…
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…
We introduce a candidate for the inner hom for $Dbl^{st}_{lx}$, the category of strict double categories and lax double functors, and characterize a lax double functor into it obtaining a lax double quasi-functor. The latter consists of a…
The bicategorical point of view provides a natural setting for many concepts in the representation theory of monoidal categories. We show that centers of twisted bimodule categories correspond to categories of 2-dimensional natural…
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…
Liftings of endofunctors on sets to endofunctors on relations are commonly used to capture bisimulation of coalgebras. Lax versions have been used in those cases where strict lifting fails to capture bisimilarity, as well as in modeling…
We introduce the notion of a distributive law between a relative monad and a monad. We call this a relative distributive law and define it in any 2-category $\mathcal{K}$. In order to do that, we introduce the 2-category of relative monads…
This paper concerns the problem of lifting a KZ doctrine P to the 2-category of pseudo T-algebras for some pseudomonad T. Here we show that this problem is equivalent to giving a pseudo-distributive law (meaning that the lifted pseudomonad…
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…
Given 2-categories $\mathcal{C}$ and $\mathcal{D}$, let $\textrm{Lax}(\mathcal{C},\mathcal{D})$ denote the 2-category of lax functors, lax natural transformations and modifications, and $[\mathcal{C},\mathcal{D}]_\mathrm{lnt}$ its full…
Distributive laws give a way of combining two algebraic structures expressed as monads; in this paper we propose a theory of distributive laws for combining algebraic structures expressed as Lawvere theories. We propose four approaches,…
Beck's distributive laws provide sufficient conditions under which two monads can be composed, and monads arising from distributive laws have many desirable theoretical properties. Unfortunately, finding and verifying distributive laws, or…
Containers are used to carve out a class of strictly positive data types in terms of shapes and positions. They can be interpreted via a fully-faithful functor into endofunctors on Set. Monadic containers are those containers whose…
In this article, the author analyses distributive and mixed distributive laws and some of their equivalences through the use of 2-adjunctions of the type $\Adj$-$\Mnd$. As far as the distributive laws are concerned, the equivalence between…
We associate to a bimonoidal functor, i.e. a bifunctor which is monoidal in each variable, a nonabelian version of a biextension. We show that such a biextension satisfies additional triviality conditions which make it a bilinear analog of…
We develop a 2-dimensional version of accessibility and presentability compatible with the formalism of flat pseudofunctors. First we give prerequisites on the different notions of 2-dimensional colimits, filteredness and cofinality; in…
It is well known that to give an oplax functor of bicategories $\mathbf{1}\to\mathscr{C}$ is to give a comonad in $\mathscr{C}$. Here we generalize this fact, replacing the terminal bicategory by any bicategory $\mathscr{A}$ for which the…
We extend the notion of a factorization system in a category to the realm of $\infty$-categories. To this end, we provide a description of the category of $\infty$-categories with factorization systems as the category of presheaves of…
Monads play an important role in both the syntax and semantics of modern functional programming languages. The problem of combining them has been of profound interest at least since the 90s, and different approaches have been employed to…
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…