data-category-0.7.1: Category theory

Index - T

TensorProductData.Category.Monoidal
TerminalFAlgebraData.Category.Dialg
TerminalObjectData.Category.Limit
terminalObjectData.Category.Limit
terminalPropAdjunctionData.Category.Adjunction
TerminalUniversalData.Category.RepresentableFunctor
terminalUniversalData.Category.RepresentableFunctor
terminalUniversalCommaData.Category.Comma
terminateData.Category.Limit
tgtData.Category
tgtFData.Category.NaturalTransformation
Three 
1 (Data Constructor)Data.Category.Enriched
2 (Type/Class)Data.Category.Enriched
toSelfData.Category.Enriched
toYonedaData.Category.Yoneda
trivialComonoidData.Category.Monoidal
trivialMonoidData.Category.Monoidal
Tru 
1 (Data Constructor)Data.Category.Boolean
2 (Type/Class)Data.Category.Boolean
trueCoproductMonoidData.Category.Boolean
trueProductComonoidData.Category.Boolean
trueProductMonoidData.Category.Boolean
Tuple 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
tupleData.Category.CartesianClosed
Tuple1Data.Category.Functor
tuple1Data.Category.Functor
Tuple2Data.Category.Functor
tuple2Data.Category.Functor
Two 
1 (Data Constructor)Data.Category.Enriched
2 (Type/Class)Data.Category.Enriched