Sina Hazratpour

Sina Hazratpour

Relative pseudo-monads

Published:

\[\newcommand{\rv}[1]{\mathbf{#1}} \newcommand{\x}{\rv x} \newcommand{\y}{\rv y} \newcommand{\bar}[1]{\overline{#1}} \newcommand{\wtil}[1]{\widetilde{#1}} \newcommand{\what}[1]{\widehat{#1}} \newcommand{\ep}{\varepsilon} \newcommand{\ph}{\varphi} \newcommand{\maps}{\colon} \newcommand{\to}{\rightarrow} \newcommand{\xraw}{\xrightarrow} \newcommand{\darr}{\downarrow} \newcommand{\To}{\Rightarrow} \renewcommand{\dot}{\centerdot} \renewcommand{\tensor}{\otimes} \newcommand{\pr}{^\prime} \newcommand{\op}[1]{#1^{\mathrm{op}}} \newcommand{\hom}{\textit{Hom}} \newcommand{\oo}{\circ} \newcommand{\lang}{\langle} \newcommand{\rang}{\rangle} \newcommand{\str}[1]{#1^{*}} \newcommand{\intvl}{\mathbb{I}} \newcommand{\yon}{\mathcal{Y}} \newcommand{\topos}{\mathfrak{Top}} \newcommand{\bTopos}{\mathfrak{BTop}} \newcommand{\BTop}{\mathfrak{BTop}} \newcommand{\con}{\mathfrak{Con}} \newcommand{\pos}{\mathfrak{Poset}} \newcommand{\topl}{\mathbb{Top}} \newcommand{\grpd}{\mathbb{Grpd}} \newcommand{\ab}{\mathbf{Ab}} \newcommand{\thT}{\mathbb{T}} \newcommand{\mod}{\mathbf{Mod}} \newcommand{\th}{\mathbf{Th}} \newcommand{\cl}{\mathbf{Cl}} \newcommand{\ob}{\mathbf{Ob}} \newcommand{\aut}{\mathbf{Aut}} \newcommand{\bun}{\mathbf{Bun}} \newcommand{\geom}{\mathbf{Geom}} \def\catg{\mathop{\mathcal{C}\! {\it at}}\nolimits} \def\Cat{\mathop{\mathfrak{Cat}}} \def\Con{\mathop{\mathfrak{Con}}} \def\CAT{\mathop{\mathbf{2} \mathfrak{Cat}}} \def\Cat{\mathop{\mathfrak{Cat}}} \newcommand{\Topos}{\mathfrak{Top}} \newcommand{\ETopos}{\mathcal{E}\mathfrak{Top}} \newcommand{\BTopos}{\mathcal{B}\mathfrak{Top}} \newcommand{\GTopos}{\mathcal{G}\mathfrak{Top}} \newcommand{\Psh}{\textit{Psh}} \newcommand{\Sh}{\textit{Sh}} \newcommand{\psh}[1]{\textit{Psh}(\cat{#1})} \newcommand{\sh}[1]{\textit{Sh}(\cat{#1})} \newcommand{\Id}{\operatorname{Id}} \newcommand{\Ho}{\operatorname{Ho}} \newcommand{\ad}{\operatorname{ad}} \newcommand{\Adj}{\operatorname{Adj}} \newcommand{\Sym}{\operatorname{Sym}} \newcommand{\Set}{\operatorname{Set}} \newcommand{\Pull}{\operatorname{Pull}} \newcommand{\Push}{\operatorname{Push}} \newcommand{\dom}{\operatorname{dom}} \newcommand{\cod}{\operatorname{cod}} \newcommand{\fun}{\operatorname{Fun}} \newcommand{\colim}{\operatorname{Colim}} \newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\scr}[1]{\mathscr{#1}} \newcommand{\frk}[1]{\mathfrak{#1}} \newcommand{\bb}[1]{\mathbb{#1}} \newcommand{\CS}{\mathcal{S}} \newcommand{\CE}{\mathcal{E}} \newcommand{\CF}{\mathcal{F}}\]

Nicola Gambino gave a very neat talk on his recent joint work with M. Fiore, M. Hyland, and G. Winskel. You can find their paper on arxiv here: Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures. Today, I am going to report on his talk. It will be quite brief. However, I put all of references here so you can find the original paper and much more. I also attached my notes below the summary. You should read the original paper if this summary interests you. Okay, then! Here we go.

Nicola started by putting their work into a proper context by drawing the following table on the whiteboard1.

 TraditionalKleisliRelative
1-dimensionalstandard notion of monadKleisli triple [1]relative monad [2]
2-dimensionalpseudo-monadno-iteration pseudo-monad [3]relative pseudo-monad [4]

He then started by recalling definition of Kleisli triple due to Manes. After that came definition of relative pseudomonad (definition 3.1 in the paper), which is based on the notions of a relative monad and of a no-iteration pseudomonad, both of which in turn were inspired by that of Kleisli triples. He claimed that Kleisli triples are better suited to define Kleisli categories. There is some justification for this in the paper.

Now, I quote from their paper:

For a pseudofunctor between bicategories $J: \cat{C} \rightarrow \cat{D}$ (which in our main example is the inclusion $J : \catg → \Cat$ of the 2-category of small categories into the 2-category of locally small categories), the core of the data for a relative pseudomonad $T$ over $J$ consists of an object $TX \in \cat{D}$ for every $X \in \cat{C}$, a morphism $iX : JX \rightarrow TX$ for every $X \in \cat{C}$, and a morphism $f^{\ast}: TX \rightarrow TY$ for every $f: JX \rightarrow TY$ in $\cat{D}$. This is as in a relative monad, but the equations for a relative monad are replaced in a relative pseudomonad by families of invertible 2-cells satisfying appropriate coherence conditions, as in a no-iteration pseudomonad. As we will see in Theorem 4.1, these conditions imply that every relative pseudomonad $T$ over $J: \cat{C} \rightarrow \cat{D}$ has an associated Kleisli bicategory $Kl(T)$, defined analogously to the one-dimensional case. In our main example, the presheaf construction gives rise to a relative pseudomonad over the inclusion $J : \catg → \Cat$ in a natural way and it is then immediate to identify its Kleisli bicategory with the bicategory of profunctors. It should be noted here that the presheaf construction is neither a no-iteration pseudomonad (because of size issues) nor a relative monad (because of strictness issues). As part of our development of the theory of relative pseudomonads, we show how relative pseudomonads generalize no-iteration pseudomonads (Proposition 3.3) and hence (by the results in [53]) also pseudomonads.

For the rest of the story please see my notes here:

  1. One of the few negative aspects of being a student in Birmingham CS is lack of access to blackboards. It’s whiteboards everywhere. Even, in the school of mathematics there are not many blackboards. I totally miss them. Some of us in theory group raised our voices to mention this to the head of school a year ago but nothing happened. Perhaps we should start carrying our own blackboards like these great folks: the Kurdish teachers in western mountains of Iran.

[1] E. Manes. Algebraic theories. Springer, 1976.

[2] T. Altenkirch, J. Chapman, and T. Uustalu. Monads need not be endofunctors. Logical Methods in Computer Science, 11(1:3):1–40, 2015.

[3] F. Marmolejo and R. J. Wood. Monads as extension systems – no iteration is necessary. Theory and Applications of Categories, 24(4):84–113, 2010.

[4] M. Fiore, M. Hyland, N. Gambino, and G. Winskel. Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures 2017