2014
Two-dimensional monadicity
BOURKE, John DenisBasic information
Original name
Two-dimensional monadicity
Authors
BOURKE, John Denis (372 Ireland, guarantor, belonging to the institution)
Edition
Advances in Mathematics, Academic Press, 2014, 0001-8708
Other information
Language
English
Type of outcome
Article in a journal
Field of Study
General mathematics
Country of publisher
United States of America
Confidentiality degree
is not subject to a state or trade secret
RIV identification code
RIV/00216224:14310/14:00073521
Organization
Přírodovědecká fakulta – Repository – Repository
UT WoS
000330153100026
Keywords in English
2-category 2-monad F-category Weak morphism Monadicity
Links
GBP201/12/G028, research and development project.
Changed: 1/9/2020 19:19, RNDr. Daniel Jakubík
Abstract
V originále
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.
