FiniteCategories-0.5.0.0: Finite categories and usual categorical constructions on them. (Index - F)

FiniteCategories-0.5.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 - F

FinCat
1 (Type/Class)	Math.Categories.FinCat, Math.Categories, Math.FiniteCategories.All
2 (Data Constructor)	Math.Categories.FinCat, Math.Categories, Math.FiniteCategories.All
findInverse	Math.Category, Math.FiniteCategory, Math.FiniteCategories.All
findIsomorphism	Math.Category, Math.FiniteCategory, Math.FiniteCategories.All
findLeftInverses	Math.Category, Math.FiniteCategory, Math.FiniteCategories.All
findRightInverses	Math.Category, Math.FiniteCategory, Math.FiniteCategories.All
FinFunctor	Math.Categories.FinCat, Math.Categories, Math.FiniteCategories.All
FinGrph
1 (Type/Class)	Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All
2 (Data Constructor)	Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All
FiniteCategory	Math.FiniteCategory, Math.FiniteCategories.All
FiniteCategoryError	Math.FiniteCategoryError, Math.FiniteCategories.All
finiteCategoryToCompositionGraph	Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All
FinSet
1 (Type/Class)	Math.Categories.FinSet, Math.Categories, Math.FiniteCategories.All
2 (Data Constructor)	Math.Categories.FinSet, Math.Categories, Math.FiniteCategories.All
formatColimitObject	Math.Functors.SetValued, Math.Functors, Math.FiniteCategories.All
formatFunctionOfColimitObjects	Math.Functors.SetValued, Math.Functors, Math.FiniteCategories.All
formatFunctionOfLimitObjects	Math.Functors.SetValued, Math.Functors, Math.FiniteCategories.All
formatLimitObject	Math.Functors.SetValued, Math.Functors, Math.FiniteCategories.All
formatSetOfColimitObjects	Math.Functors.SetValued, Math.Functors, Math.FiniteCategories.All
formatSetOfLimitObjects	Math.Functors.SetValued, Math.Functors, Math.FiniteCategories.All
fullDiagram	Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All
fullDiagram2	Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All
fullNaturalTransformation	Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All
fullNaturalTransformation2	Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All
FullSubcategory
1 (Type/Class)	Math.FiniteCategories.FullSubcategory, Math.FiniteCategories, Math.FiniteCategories.All
2 (Data Constructor)	Math.FiniteCategories.FullSubcategory, Math.FiniteCategories, Math.FiniteCategories.All
Function
1 (Type/Class)	Math.Categories.FinSet, Math.Categories, Math.FiniteCategories.All
2 (Data Constructor)	Math.Categories.FinSet, Math.Categories, Math.FiniteCategories.All
function	Math.Categories.FinSet, Math.Categories, Math.FiniteCategories.All
FunctorCategory
1 (Type/Class)	Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
2 (Data Constructor)	Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All