Index - T
| TensorProduct | Data.Category.Monoidal |
| terminalFactorizer | Data.Category.Functor |
| TerminalFAlgebra | Data.Category.Dialg |
| terminalMorphism | Data.Category.Functor |
| TerminalObject | Data.Category.Limit |
| terminalObject | Data.Category.Limit |
| terminalPropAdjunction | Data.Category.Adjunction |
| TerminalUniversal | |
| 1 (Data Constructor) | Data.Category.Functor |
| 2 (Type/Class) | Data.Category.Functor |
| terminate | Data.Category.Limit |
| tgt | Data.Category |
| toYoneda | Data.Category.NaturalTransformation |
| Tru | |
| 1 (Type/Class) | Data.Category.Boolean |
| 2 (Data Constructor) | Data.Category.Boolean |
| trueCoproductMonoid | Data.Category.Boolean |
| trueProductComonoid | Data.Category.Boolean |
| trueProductMonoid | Data.Category.Boolean |
| tuObject | Data.Category.Functor |
| tuple | Data.Category.CartesianClosed |
| Tuple1 | |
| 1 (Data Constructor) | Data.Category.Product |
| 2 (Type/Class) | Data.Category.Product |
| Tuple2 | |
| 1 (Data Constructor) | Data.Category.Product |
| 2 (Type/Class) | Data.Category.Product |