FiniteCategories-0.6.4.0: Finite categories and usual categorical constructions on them. (Index - T)

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

A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
Y
<
=
@
|
-
All

Index - T

target	Math.Category, Math.FiniteCategory, Math.FiniteCategories.All
targetArrow	Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All
terminalObjects	Math.FiniteCategory, Math.FiniteCategories.All
tgt	Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
topInjectionsCone	Math.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
transpose	Math.CartesianClosedCategory, Math.FiniteCategories.All
Tripod	Math.CartesianClosedCategory, Math.FiniteCategories.All
tripod	Math.CartesianClosedCategory, Math.FiniteCategories.All
TripodNotSentToATripod	Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All
TripodSketch	Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All
TripodTwoConeDoesNotBelongToDistinguishedCones	Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All
TwoBase	Math.CartesianClosedCategory, Math.FiniteCategories.All
twoCone	Math.CartesianClosedCategory, Math.FiniteCategories.All
twoDiagram	Math.FiniteCategories.DiscreteTwo, Math.FiniteCategories, Math.FiniteCategories.All
TwoProduct	Math.CartesianClosedCategory, Math.FiniteCategories.All
TwoSameIndexingObjects	Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All