IntegerCategory

Next: binomial Up: Basic Categories Previous: inv Contents Index

$\begin{usage} IntegerCategory: Category \end{usage}$

$\begin{descr} IntegerCategory~is the category of integer-like rings. \end{descr}$

Exports

Manuel Bronstein 2000-12-13