Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I think the second sentence below needs to have the phrase “torsion-free” added to it twice. Right? I’m going to do that.
a) The category $\lambda Ring$ of $\lambda$-rings is monadic and comonadic over the category of $C Ring$ of commutative rings.
b) The category $\lambda Ring_{\neg tor}$ of $\lambda$-rings is monadic and comonadic over the category of $C Ring_{\neg tor}$ of commutative rings.
1 to 1 of 1