A | |
| Abelian [Monoid] | A commutative monoid. |
| Abelian [Group] | An abelian group (with additive conventions). |
E | |
| Euclidean [Ring] | An euclidean domain. |
L | |
| Left [Module] | A left module. |
R | |
| Right [Module] | A right module. |
T | |
| T [Ring] | A ring. |
| T [Monoid] | A monoid. |
| T [Module] | By default, by a module, we mean a left module. |
| T [Matrix] | |
| T [Group] | A group. |
| T [Graph] | A graph. |
| T [Globular] | A globular set. |
| T [Field] | A field. |
| T [Category] | A category. |
| T [Alphabet] | An alphabet. |
| T [Algebra] | An algebra. |