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

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

identities	Math.FiniteCategory, Math.FiniteCategories.All
identity	Math.Category, Math.FiniteCategory, Math.FiniteCategories.All
indexFirstArrow	Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
indexSecondArrow	Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
indexSource	Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
indexTarget	Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
InheritedFullSubcategory
1 (Type/Class)	Math.FiniteCategories.FullSubcategory, Math.FiniteCategories, Math.FiniteCategories.All
2 (Data Constructor)	Math.FiniteCategories.FullSubcategory, Math.FiniteCategories, Math.FiniteCategories.All
InheritedSubcategory	Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All
inheritedSubcategory	Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All
initialObjects	Math.FiniteCategory, Math.FiniteCategories.All
insertionFunctor1	Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
insertionFunctor2	Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
isComposite	Math.Category, Math.FiniteCategory, Math.FiniteCategories.All
isEpic	Math.FiniteCategory, Math.FiniteCategories.All
isGenerator	Math.Category, Math.FiniteCategory, Math.FiniteCategories.All
isIdentity	Math.Category, Math.FiniteCategory, Math.FiniteCategories.All
isInitial	Math.FiniteCategory, Math.FiniteCategories.All
isIso	Math.Category, Math.FiniteCategory, Math.FiniteCategories.All
isMonic	Math.FiniteCategory, Math.FiniteCategories.All
isNotIdentity	Math.Category, Math.FiniteCategory, Math.FiniteCategories.All
isRetraction	Math.Category, Math.FiniteCategory, Math.FiniteCategories.All
isSection	Math.Category, Math.FiniteCategory, Math.FiniteCategories.All
IsSmallerThan
1 (Type/Class)	Math.Categories.TotalOrder, Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.FiniteCategories.NumberCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
2 (Data Constructor)	Math.Categories.TotalOrder, Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.FiniteCategories.NumberCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
isTerminal	Math.FiniteCategory, Math.FiniteCategories.All