![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Informace o publikaci
Two-dimensional monadicity
Autoři | |
---|---|
Rok publikování | 2014 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | Advances in Mathematics |
Fakulta / Pracoviště MU | |
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: |