pith. sign in

arxiv: 1605.04489 · v2 · pith:AR7B64UUnew · submitted 2016-05-15 · 🧮 math.CT · math.GN

Lax distributive laws for topology, II

classification 🧮 math.CT math.GN
keywords mathbbmathcalfourmonadscategoriesmonadtextadmit
0
0 comments X
read the original abstract

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 composite 2-monads, and establish that they all laxly distribute over $\mathbb{P}$. These four 2-monads therefore admit lax extensions to the category $\mathcal{Q}\text{-}{\bf Dist}$ of $\mathcal{Q}$-categories and their distributors. We characterize the corresponding $(\mathbb{T},\mathcal{Q})$-categories in each of the four cases, leading us to both known and novel categorical structures.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.