FiniteCategories-0.6.1.1: Finite categories and usual categorical constructions on them.

Index - T

targetMath.Category, Math.FiniteCategory, Math.FiniteCategories.All
targetArrowMath.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All
terminalObjectsMath.FiniteCategory, Math.FiniteCategories.All
tgtMath.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
topInjectionsConeMath.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
TotalOrder 
1 (Type/Class)Math.Categories.TotalOrder, Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All
2 (Data Constructor)Math.Categories.TotalOrder, Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All
transposeMath.CartesianClosedCategory, Math.FiniteCategories.All
TripodMath.CartesianClosedCategory, Math.FiniteCategories.All
tripodMath.CartesianClosedCategory, Math.FiniteCategories.All
TripodNotSentToATripodMath.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All
TripodSketchMath.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All
TripodTwoConeDoesNotBelongToDistinguishedConesMath.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All
TwoBaseMath.CartesianClosedCategory, Math.FiniteCategories.All
twoConeMath.CartesianClosedCategory, Math.FiniteCategories.All
twoDiagramMath.FiniteCategories.DiscreteTwo, Math.FiniteCategories, Math.FiniteCategories.All
TwoProductMath.CartesianClosedCategory, Math.FiniteCategories.All
TwoSameIndexingObjectsMath.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All