Index - I
| Id | |
| 1 (Type/Class) | Algebra.Types |
| 2 (Data Constructor) | Algebra.Types |
| id | |
| 1 (Function) | Algebra.CategoryRecords |
| 2 (Function) | Algebra.Category |
| ifThenElse | Algebra.Classes |
| imaginaryUnit | Algebra.Classes |
| indicate | Algebra.Category.Relation |
| inhabitants | Algebra.Types |
| Inj1 | Algebra.Types |
| Inj2 | Algebra.Types |
| inl | Algebra.Category |
| inner | Algebra.Linear |
| InnerProdSpace | Algebra.Linear |
| inr | Algebra.Category |
| Integral | Algebra.Classes |
| isArbitrary1 | Algebra.Category.Objects |
| isCoArbitrary | Algebra.Category.Objects |
| isConstant | Algebra.Morphism.Affine |
| IsVec | Algebra.Linear |
| isZero | Algebra.Classes |