On presheaf submonads of quantale enriched categories
Category Theory
2022-04-07 v2
Abstract
This paper focus on the presheaf monad and its submonads on the realm of -categories, for a quantale . First we present two characterisations of presheaf submonads, both using -distributors: one based on admissible classes of -distributors, and other using Beck-Chevalley conditions on -distributors. Then we focus on the study of the corresponding Eilenberg-Moore categories of algebras, having as main examples the formal ball monad and the so-called Lawvere monad.
Cite
@article{arxiv.2202.06805,
title = {On presheaf submonads of quantale enriched categories},
author = {Maria Manuel Clementino and Carlos Fitas},
journal= {arXiv preprint arXiv:2202.06805},
year = {2022}
}