coring

symmetric monoidal (∞,1)-category of spectra The notion of coring is a generalization of a -coalgebra. While for a coalgebra must be a commutative ring (often a field), a coring is defined over a general noncommutative ring or even an associative algebra . Whereas a coalgebra structure is defined on a -module (if is a field, it is a vector space) – which may be regarded as a central -bimodule – a coring structure is defined on a general bimodule over a general ring. An -coring is a comonoid in..