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

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 - O

ob	Math.FiniteCategory, Math.FiniteCategories.All
ObjectSketch	Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All
omap	Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
Omega	Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All
omega	Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All
One
1 (Type/Class)	Math.FiniteCategories.One, Math.FiniteCategories, Math.FiniteCategories.All
2 (Data Constructor)	Math.FiniteCategories.One, Math.FiniteCategories, Math.FiniteCategories.All
Op
1 (Type/Class)	Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
2 (Data Constructor)	Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
OpMorphism
1 (Type/Class)	Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
2 (Data Constructor)	Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
opOp	Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
opOpMorphism	Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
OrdinalCategory
1 (Type/Class)	Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All
2 (Data Constructor)	Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All
originalCategory	Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All
originalCategory2	Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All