pith. sign in

arxiv: 1311.1721 · v1 · pith:BS35TAP5new · submitted 2013-11-07 · 💻 cs.LO · math.CT

Kan injectivity in order-enriched categories

classification 💻 cs.LO math.CT
keywords morphismscategoriesclasscontinuouskan-injectivekan-injectivitymonadmonadic
0
0 comments X
read the original abstract

Continuous lattices were characterised by Martin Escardo as precisely the objects that are Kan-injective w.r.t. a certain class of morphisms. We study Kan-injectivity in general categories enriched in posets. For every class H of morphisms we study the subcategory of all objects Kan-injective w.r.t. H and all morphisms preserving Kan-extensions. For categories such as Top_0 and Pos we prove that whenever H is a set of morphisms, the above subcategory is monadic, and the monad it creates is a Kock-Zoeberlein monad. However, this does not generalise to proper classes: we present a class of continuous mappings in Top_0 for which Kan-injectivity does not yield a monadic category.

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.