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

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

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
Y
Z
!
&
@
|
All

Index - F

F
1 (Data Constructor)	UsualCategories.V
2 (Data Constructor)	UsualCategories.Two
3 (Data Constructor)	UsualCategories.Three
4 (Data Constructor)	UsualCategories.Square
5 (Data Constructor)	UsualCategories.Parallel
6 (Data Constructor)	UsualCategories.Hat
f	FiniteCategory.FiniteCategory
faultyIdentity	CompositionGraph.CompositionGraph
faultyMorph	CompositionGraph.CompositionGraph
faultyObj	CompositionGraph.CompositionGraph
faultySrc	CompositionGraph.CompositionGraph
faultyTgt	CompositionGraph.CompositionGraph
fg_h	FiniteCategory.FiniteCategory
FH	UsualCategories.Square
FinCat
1 (Type/Class)	Cat.FinCat
2 (Data Constructor)	Cat.FinCat
FinFunctor
1 (Type/Class)	Cat.FinCat
2 (Data Constructor)	Cat.FinCat
finFunctorToDiagram	Diagram.Conversion
finFunctorToPartialFunctor	Diagram.Conversion
FiniteCategory	FiniteCategory.FiniteCategory
FiniteCategoryError	FiniteCategory.FiniteCategory
finiteCategoryToCompositionGraph	CompositionGraph.CompositionGraph
finiteCategoryToSafeCompositionGraph	CompositionGraph.SafeCompositionGraph
FinMap
1 (Type/Class)	Set.FinSet
2 (Data Constructor)	Set.FinSet
finMap	Set.FinSet
FinOrdMap
1 (Type/Class)	Set.FinOrdSet
2 (Data Constructor)	Set.FinOrdSet
FinOrdSet
1 (Type/Class)	Set.FinOrdSet
2 (Data Constructor)	Set.FinOrdSet
FinSet	Set.FinSet
FinSetCat
1 (Type/Class)	Set.FinSet
2 (Data Constructor)	Set.FinSet
firstCategory	ProductCategory.ProductCategory
firstMorphism	ProductCategory.ProductCategory
firstObject	ProductCategory.ProductCategory
foidL	FiniteCategory.FiniteCategory
FreeSubcategory
1 (Type/Class)	Subcategories.FreeSubcategory
2 (Data Constructor)	Subcategories.FreeSubcategory
fromList	Set.FinSet
fst3	Utils.Tuple
fullDiagram	Subcategories.Subcategory
FullSubcategory
1 (Type/Class)	Subcategories.FullSubcategory
2 (Data Constructor)	Subcategories.FullSubcategory
function	Set.FinOrdSet
FunctorCategory
1 (Type/Class)	FunctorCategory.FunctorCategory
2 (Data Constructor)	FunctorCategory.FunctorCategory
functToAssocList	Utils.AssociationList
f_gh	FiniteCategory.FiniteCategory