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

FiniteCategories-0.2.0.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
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