Skip to main content
3 of 5
added 22 characters in body; edited tags
David Roberts
  • 35.5k
  • 11
  • 124
  • 349

Monad, algebras and reflexive coequalizer

Suppose we have an adjunction of categories $F:M\leftrightarrows N:U$. We define the associated (co)monad $G=F\circ U$. For any object $x\in N$ we define the simplicial resolution of x given by $$ G_{\bullet}(x)=\dots G^{2}(x)\rightrightarrows G(x) $$ I was wondering if $\operatorname{colim}_{n} G_{n}(x)=x$ ?

I'm under impression that in general it is false (in the case if it is not monadic), may be it is true if we impose that $x=F(y)$ for some $y\in M$ ?

Paris
  • 717
  • 3
  • 13