Index - T
| TensorProduct | Data.Category.Monoidal |
| TerminalFAlgebra | Data.Category.Dialg |
| TerminalObject | Data.Category.Limit |
| terminalObject | Data.Category.Limit |
| terminalPropAdjunction | Data.Category.Adjunction |
| TerminalUniversal | Data.Category.RepresentableFunctor |
| terminalUniversal | Data.Category.RepresentableFunctor |
| terminalUniversalComma | Data.Category.Comma |
| terminate | Data.Category.Limit |
| tgt | Data.Category |
| tgtF | Data.Category.NaturalTransformation |
| toYoneda | Data.Category.Yoneda |
| trivialComonoid | Data.Category.Monoidal |
| trivialMonoid | Data.Category.Monoidal |
| Tru | |
| 1 (Data Constructor) | Data.Category.Boolean |
| 2 (Type/Class) | Data.Category.Boolean |
| trueCoproductMonoid | Data.Category.Boolean |
| trueProductComonoid | Data.Category.Boolean |
| trueProductMonoid | Data.Category.Boolean |
| Tuple | |
| 1 (Type/Class) | Data.Category.CartesianClosed |
| 2 (Data Constructor) | Data.Category.CartesianClosed |
| tuple | Data.Category.CartesianClosed |
| Tuple1 | |
| 1 (Type/Class) | Data.Category.Functor |
| 2 (Data Constructor) | Data.Category.Functor |
| Tuple2 | Data.Category.Functor |
| tuple2 | Data.Category.Functor |