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 |