Two-dimensional monadicity

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

BOURKE John Denis

Year of publication 2014
Type Article in Periodical
Magazine / Source Advances in Mathematics
MU Faculty or unit

Faculty of Science

Citation
Doi http://dx.doi.org/10.1016/j.aim.2013.11.007
Field General mathematics
Keywords 2-category 2-monad F-category Weak morphism Monadicity
Attached files
Description The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify over strict morphisms amongst the weaker kinds. F-categories were introduced to express this interplay between strict and weak morphisms. We express doctrinal adjunction as an F-categorical lifting property and use this to give monadicity theorems, expressed using the language of F-categories, that cover each weaker kind of morphism.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.