next up previous contents index
Next: CommutativeRing Up: Basic Categories Previous: Algebra   Contents   Index


CharacteristicZero


\begin{usage}
CharacteristicZero: Category
\end{usage}

\begin{descr}
CharacteristicZero~is the category of rings of characteristic $0$.
\end{descr}


Exports



Manuel Bronstein 2000-12-13