Author: John Baez Format: MarkdownItexI corrected an apparent typo:
A 2-monad $T$ as above is lax-idempotent if and only if for any $T$-algebra $a \colon T A \to A$ there is a 2-cell $\theta_a \colon 1 \Rightarrow \eta \circ a$
to
A 2-monad $T$ as above is lax-idempotent if and only if for any $T$-algebra $a \colon T A \to A$ there is a 2-cell $\theta_a \colon 1 \Rightarrow \eta_A \circ a$
It might be nice to say $\eta_A$ is the unit of the algebra....
<a href="https://ncatlab.org/nlab/revision/diff/lax-idempotent+2-monad/22">diff</a>, <a href="https://ncatlab.org/nlab/revision/lax-idempotent+2-monad/22">v22</a>, <a href="https://ncatlab.org/nlab/show/lax-idempotent+2-monad">current</a>
I corrected an apparent typo:
A 2-monad as above is lax-idempotent if and only if for any -algebra there is a 2-cell
to
A 2-monad as above is lax-idempotent if and only if for any -algebra there is a 2-cell
It might be nice to say is the unit of the algebra….