English

Lax distributive laws for topology, II

Category Theory 2017-07-13 v2 General Topology

Abstract

For a small quantaloid Q\mathcal{Q} we consider four fundamental 2-monads T\mathbb{T} on Q-Cat\mathcal{Q}\text{-}{\bf Cat}, given by the presheaf 2-monad P\mathbb{P} and the copresheaf 2-monad P\mathbb{P}^{\dagger}, as well as by their two composite 2-monads, and establish that they all laxly distribute over P\mathbb{P}. These four 2-monads therefore admit lax extensions to the category Q-Dist\mathcal{Q}\text{-}{\bf Dist} of Q\mathcal{Q}-categories and their distributors. We characterize the corresponding (T,Q)(\mathbb{T},\mathcal{Q})-categories in each of the four cases, leading us to both known and novel categorical structures.

Keywords

Cite

@article{arxiv.1605.04489,
  title  = {Lax distributive laws for topology, II},
  author = {Hongliang Lai and Lili Shen and Walter Tholen},
  journal= {arXiv preprint arXiv:1605.04489},
  year   = {2017}
}

Comments

33 pages, final version

R2 v1 2026-06-22T14:00:56.318Z