Index - T
| 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 (Type/Class) | Data.Category.Functor |
| 2 (Data Constructor) | Data.Category.Functor |
| terminate | Data.Category.Limit |
| tgt | Data.Category |
| Tru | Data.Category.Boolean |
| tuObject | Data.Category.Functor |