?? complex numbers as schizophrenic object between _set_ and _comm ring_ .... unit of resulting monad on _comm ring_ .... ?? specialized to case of number ring ... ????.....

??? some confusion here between "hom" and "tensor" ?????? ...... ???????.......

???? something about _algebraic_ commutative ring here ??? .... and/or "analytic" ????? ???? .....

??? underlying algebraic / analytic additive group .... cokernel of "unit" .... ????? ...... .... ???? "abelian variety with complex multiplication" .... ?????? ......