| T | |
| 1 (Type/Class) | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Symbol |
| tail | OAlg.Entity.FinList |
| takeN | OAlg.Data.Number, OAlg.Prelude |
| tau | OAlg.Structure.Definition, OAlg.Prelude |
| tau1 | OAlg.Structure.Definition, OAlg.Prelude |
| tau1Hom | OAlg.Category.Definition, OAlg.Prelude |
| tauHom | OAlg.Category.Definition, OAlg.Prelude |
| TerminalCone | OAlg.Limes.TerminalAndInitialPoint |
| TerminalDiagram | OAlg.Limes.TerminalAndInitialPoint |
| TerminalPoint | OAlg.Limes.TerminalAndInitialPoint |
| terminalPointOrnt | OAlg.Limes.TerminalAndInitialPoint |
| Terminals | OAlg.Limes.TerminalAndInitialPoint |
| tests | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Text | OAlg.Data.TypeLits |
| throw | OAlg.Control.Exception, OAlg.Prelude |
| tip | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| To | OAlg.Data.Dualisable, OAlg.Prelude |
| toArray | OAlg.Entity.FinList |
| toBidual | OAlg.Data.Dualisable, OAlg.Prelude |
| toDigits | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| toDigitsFinite | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| toDual | OAlg.Data.Dualisable, OAlg.Prelude |
| toEnum | OAlg.Data.Number, OAlg.Prelude |
| toException | OAlg.Control.Exception, OAlg.Prelude |
| toN' | OAlg.Entity.Natural |
| ToOp1 | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| toOp1Struct | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| toOp2Path | OAlg.Category.Path |
| ToOpOp | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| Total | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| TotalOpl | OAlg.Structure.Operational |
| TotalOpr | OAlg.Structure.Operational |
| TotalRoot | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| toW | OAlg.Entity.FinList |
| toW' | OAlg.Entity.Natural |
| trafoFromId | OAlg.Data.Identity |
| trafoToId | OAlg.Data.Identity |
| Transformable | OAlg.Structure.Definition, OAlg.Prelude |
| Transformable1 | OAlg.Structure.Definition, OAlg.Prelude |
| TransformableOp | OAlg.Structure.Definition, OAlg.Prelude |
| Transformation | |
| 1 (Type/Class) | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| 2 (Type/Class) | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| 3 (Data Constructor) | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| Transposable | OAlg.Data.Dualisable, OAlg.Prelude |
| TransposableDistributive | OAlg.Structure.Distributive.Definition, OAlg.Structure.Distributive |
| TransposableMultiplicative | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| TransposableOriented | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| transpose | OAlg.Data.Dualisable, OAlg.Prelude |
| TrApp | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| Tree | OAlg.Data.Tree |
| trfs | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| TrFT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| TrGL | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| TrGLT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| trGLT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| trmCone | OAlg.Limes.TerminalAndInitialPoint |
| trmConeDuality | OAlg.Limes.TerminalAndInitialPoint |
| trmDiagram | OAlg.Limes.TerminalAndInitialPoint |
| trmDiagramDuality | OAlg.Limes.TerminalAndInitialPoint |
| trmLimesDuality | OAlg.Limes.TerminalAndInitialPoint |
| trmLimitsDuality | OAlg.Limes.TerminalAndInitialPoint |
| trmsOrnt | OAlg.Limes.TerminalAndInitialPoint |
| True | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| true | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| tryToInvert | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| tween | OAlg.Data.Show, OAlg.Prelude |
| Typ | OAlg.Structure.Definition, OAlg.Prelude |
| TypeError | OAlg.Data.TypeLits |