Podrobný výpis o publikaci

@article{16552,
   author = {Bourke, John Denis},
   article_number = {February},
   keywords = {2-category 2-monad F-category Weak morphism Monadicity},
   language = {eng},
   issn = {0001-8708},
   journal = {Advances in Mathematics},
   title = {Two-dimensional monadicity},
   volume = {252},
   year = {2014}
}

TY  - JOUR
ID  - 16552
AU  - Bourke, John Denis
PY  - 2014
TI  - Two-dimensional monadicity
JF  - Advances in Mathematics
VL  - 252
IS  - February
SP  - 708-747
EP  - 708-747
PB  - Academic Press
SN  - 0001-8708
KW  - 2-category 2-monad F-category Weak morphism Monadicity
N2  - 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.
ER  - 

BOURKE, John Denis. Two-dimensional monadicity. \textit{Advances in Mathematics}. Academic Press, 2014, roč.~252, February, s.~708-747. ISSN~0001-8708.