Index - O
| O2 | Algebra.Category |
| O3 | Algebra.Category |
| O4 | Algebra.Category |
| Obj | Algebra.Category |
| objdual | Algebra.Category.Objects |
| objdual' | Algebra.Category.Objects |
| objFstSnd | Algebra.Category.Objects |
| objfstsnd | Algebra.Category.Objects |
| objone | Algebra.Category.Objects |
| objprod | Algebra.Category.Objects |
| One | Algebra.Types, Algebra.Types |
| one | Algebra.Classes |
| one1Closed | Algebra.Types |
| OneCon1 | Algebra.Category.Objects |
| Op | |
| 1 (Type/Class) | Algebra.Category.Op |
| 2 (Data Constructor) | Algebra.Category.Op |
| opTestable | Algebra.Category.Laws |
| outer | Algebra.Linear |
| outerWith | Algebra.Linear |
| overflowError | Algebra.Morphism.Ratio |