2014
Two-dimensional monadicity
BOURKE, John DenisBasic information
Original name
Two-dimensional monadicity
Authors
Edition
Advances in Mathematics, Academic Press, 2014, 0001-8708
Other information
Language
English
Type of outcome
Article in a journal
Field of Study
10101 Pure mathematics
Country of publisher
United States of America
Confidentiality degree
is not subject to a state or trade secret
Impact factor
Impact factor: 1.294
Marked to be transferred to RIV
Yes
RIV identification code
RIV/00216224:14310/14:00073521
Organization unit
Faculty of Science
UT WoS
000330153100026
EID Scopus
2-s2.0-84890399809
Keywords in English
2-category 2-monad F-category Weak morphism Monadicity
Tags
International impact, Reviewed
Changed: 11/4/2015 20:37, Ing. Andrea Mikešková
Abstract
In the original language
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.
Links
| GBP201/12/G028, research and development project |
|
