Monads and theories

J 2019

Monads and theories

BOURKE, John Denis a Richard Henry George GARNER

Základní údaje

Originální název

Monads and theories

Autoři

BOURKE, John Denis a Richard Henry George GARNER

Vydání

Advances in Mathematics, SAN DIEGO, ACADEMIC PRESS INC ELSEVIER SCIENCE, 2019, 0001-8708

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Impakt faktor

Impact factor: 1.494

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14310/19:00113518

Organizační jednotka

Přírodovědecká fakulta

Klíčová slova anglicky

Monad; Lawvere theory; Nerve

Štítky

H21, rivok

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 2. 4. 2020 14:47, Mgr. Marie Novosadová Šípková, DiS.

Anotace

V originále

Given a locally presentable enriched category epsilon together with a small dense full subcategory A of arities, we study the relationship between monads on and identity-on-objects functors out of A, which we call A-pretheories. We show that the natural constructions relating these two kinds of structure form an adjoint pair. The fixpoints of the adjunction are characterised on the one side as the A-nervous monads-those for which the conclusions of Weber's nerve theorem hold-and on the other, as the A-theories which we introduce here. The resulting equivalence between A-nervous monads and A-theories is best possible in a precise sense, and extends almost all previously known monad-theory correspondences. It also establishes some completely new correspondences, including one which captures the globular theories defining Grothendieck weak omega-groupoids. Besides establishing our general correspondence and illustrating its reach, we study good properties of A-nervous monads and A-theories that allow us to recognise and construct them with ease. We also compare them with the monads with arities and theories with arities introduced and studied by Berger, Mellies and Weber.

Citovat

BOURKE, John Denis a Richard Henry George GARNER. Monads and theories. Advances in Mathematics. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2019, roč. 351, JUL 31 2019, s. 1024-1071. ISSN 0001-8708. Dostupné z: https://doi.org/10.1016/j.aim.2019.05.016.

@article{1642196,
   author = {Bourke, John Denis and Garner, Richard Henry George},
   article_location = {SAN DIEGO},
   article_number = {JUL 31 2019},
   doi = {https://doi.org/10.1016/j.aim.2019.05.016},
   keywords = {Monad; Lawvere theory; Nerve},
   language = {eng},
   issn = {0001-8708},
   journal = {Advances in Mathematics},
   title = {Monads and theories},
   url = {https://www.sciencedirect.com/science/article/pii/S0001870819302580},
   volume = {351},
   year = {2019}
}

TY  - JOUR
ID  - 1642196
AU  - Bourke, John Denis - Garner, Richard Henry George
PY  - 2019
TI  - Monads and theories
JF  - Advances in Mathematics
VL  - 351
IS  - JUL 31 2019
SP  - 1024-1071
EP  - 1024-1071
PB  - ACADEMIC PRESS INC ELSEVIER SCIENCE
SN  - 00018708
KW  - Monad
KW  - Lawvere theory
KW  - Nerve
UR  - https://www.sciencedirect.com/science/article/pii/S0001870819302580
L2  - https://www.sciencedirect.com/science/article/pii/S0001870819302580
N2  - Given a locally presentable enriched category epsilon together with a small dense full subcategory A of arities, we study the relationship between monads on and identity-on-objects functors out of A, which we call A-pretheories. We show that the natural constructions relating these two kinds of structure form an adjoint pair. The fixpoints of the adjunction are characterised on the one side as the A-nervous monads-those for which the conclusions of Weber's nerve theorem hold-and on the other, as the A-theories which we introduce here. The resulting equivalence between A-nervous monads and A-theories is best possible in a precise sense, and extends almost all previously known monad-theory correspondences. It also establishes some completely new correspondences, including one which captures the globular theories defining Grothendieck weak omega-groupoids. Besides establishing our general correspondence and illustrating its reach, we study good properties of A-nervous monads and A-theories that allow us to recognise and construct them with ease. We also compare them with the monads with arities and theories with arities introduced and studied by Berger, Mellies and Weber.
ER  -

BOURKE, John Denis a Richard Henry George GARNER. Monads and theories. \textit{Advances in Mathematics}. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2019, roč.~351, JUL 31 2019, s.~1024-1071. ISSN~0001-8708. Dostupné z: https://doi.org/10.1016/j.aim.2019.05.016.

Přehled o publikaci