Další formáty:
BibTeX
LaTeX
RIS
@article{1168438,
author = {Bourke, John Denis},
article_number = {February},
doi = {http://dx.doi.org/10.1016/j.aim.2013.11.007},
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 - 1168438
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 - 00018708
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, roč.~252, February, s.~708-747. ISSN~0001-8708. doi:10.1016/j.aim.2013.11.007. 2014.
|
