Beck's theorem for pseudo-monads
type: Item
instance of: scholarly article
title: Beck's theorem for pseudo-monads
zbMATH Open document ID: 1003.18007
DOI: 10.1016/S0022-4049(02)00038-5
author: I. J. Le Creurer
author: Francisco Marmolejo
author: E. M. Vitale
published in: Journal of Pure and Applied Algebra
publication date: 2002-08-22T00:00:00Z
review text: This paper establishes a 2-categorical analogue of Beck's theorem characterising monadic functors. The exact formulation of the main results goes as follows: Theorem 3.5. Let \((U,F,\eta, \varepsilon,s,t): {\mathcal A}\to {\mathcal C}\) be a pseudo-adjunction. The comparison functor \(K:{\mathcal A} \to{\mathcal C}^{\mathbf{T}}\) is locally an equivalence iff for each \(A\), the canonical diagram, equipped with the obvious 2-cells, \[ FU\;FU\;FU\;(A)\;\vcenter{\vtop{=.225 \line{\hss \(FU\;FU\;(\varepsilon_A)\)\hss}\vglue-4pt \line{\leaders\hrule height2.8pt depth-2.2pt\hfill\hglue-4pt\(\longrightarrow\)} \vglue-4pt \line{\leaders\hrule height2.8pt depth-2.2pt\hfill\hglue-4pt\(\;FU(\varepsilon_{FU(A)})\;\)\leaders\hrule height2.8pt depth-2.2pt\hfill\hglue-4pt\(\longrightarrow\)} \vglue-4pt \line{\leaders\hrule height2.8pt depth-2.2pt\hfill\hglue-4pt\(\longrightarrow\)} \vglue-3pt \line{\hss \(^\varepsilon FU\;FU\;(A)\)\hss}}} \;FU\;FU\;(A)\;\vcenter{\vtop{=.225 \line{\hss \(FU\;FU\;(\varepsilon_A)\)\hss} \vglue-4pt \line{\leaders\hrule height2.8pt depth-2.2pt\hfill\hglue-4pt\(\longrightarrow\)} \vglue-4pt \line{\(\longleftarrow\)\hglue-4pt\leaders\hrule height2.8pt depth-2.2pt\hfill\hglue-4pt\(\;F(\eta_{U(A)})\;\)\leaders\hrule height2.8pt depth-2.2pt\hfill} \vglue-4pt \line{\leaders\hrule height2.8pt depth-2.2pt\hfill\hglue-4pt\(\longrightarrow\)}\vglue-3pt \line{\hss \(^\varepsilon FU\;FU\;(A)\)\hss}}} \;FU\;(A)\;\overset\varepsilon{_A}\longrightarrow\;A \] is a pseudo-coequalizer in \(\mathcal A\). Theorem 3.6. Let \((U,F,\eta,\varepsilon,s,t):\mathcal A \to \mathcal C\) be a pseudo-adjunction. The comparison functor of \(K:\mathcal A \to {\mathcal C}^{\text{T}}\) is a bi-equivalence iff \(U\) reflects adjoint equivalences, \(\mathcal A\) has pseudo-coequalizers of \(U\)-absolute codescent objects and \(U\) preserves them.
reviewed by: Hirokazu Nishimura
Mathematics Subject Classification ID: 18C15
Mathematics Subject Classification ID: 18D05
zbMATH DE Number: 1787496
zbMATH Keywords: 2-category
zbMATH Keywords: Beck's theorem
zbMATH Keywords: monadic functors
zbMATH Keywords: pseudo-adjunction
MaRDI profile type: Publication
cites work: Q4707055
cites work: How algebraic is algebra?
cites work: Q3682648
cites work: Two-dimensional monad theory
cites work: Q4856547
cites work: Modulated bicategories
cites work: Formal category theory: Adjointness for 2-categories
cites work: Q4948681
cites work: Q4100669
cites work: Q4100671
cites work: Q5639839
cites work: Q4342436
cites work: Q4238518
cites work: Two-dimensional sheaf theory
cites work: Q3958646
description: scientific article; zbMATH DE number 1787496