Two-dimensional monadicity

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

BOURKE John Denis

Rok publikování 2014
Druh Článek v odborném periodiku
Časopis / Zdroj Advances in Mathematics
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
Doi http://dx.doi.org/10.1016/j.aim.2013.11.007
Obor Obecná matematika
Klíčová slova 2-category 2-monad F-category Weak morphism Monadicity
Přiložené soubory
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.