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

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

C
1 (Data Constructor)	UsualCategories.V
2 (Data Constructor)	UsualCategories.Three
3 (Data Constructor)	UsualCategories.Square
4 (Data Constructor)	UsualCategories.Hat
card	Set.FinSet
cartesianPower	Utils.CartesianProduct
cartesianProduct	Utils.CartesianProduct
categoryToGraph	ExportGraphViz.ExportGraphViz
catToDot	ExportGraphViz.ExportGraphViz
catToPdf	ExportGraphViz.ExportGraphViz
CGMorphism
1 (Type/Class)	CompositionGraph.CompositionGraph
2 (Data Constructor)	CompositionGraph.CompositionGraph
checkFiniteCategoryProperties	FiniteCategory.FiniteCategory
checkFunctoriality	Diagram.Diagram
checkGeneratedFiniteCategoryProperties	FiniteCategory.FiniteCategory
Cocone	ConeCategory.ConeCategory
CoconeCategory	ConeCategory.ConeCategory
CoconeMorphism	ConeCategory.ConeCategory
coconesOfNadir	ConeCategory.ConeCategory
coconeToNaturalTransformation	ConeCategory.ConeCategory
codomain
1 (Function)	Set.FinOrdSet
2 (Function)	Set.FinSet
codomainArrows	Cat.PartialFinCat
codomainObjects	Cat.PartialFinCat
colimitFunctor	Limit.Limit
colimits	ConeCategory.ConeCategory
Collection	Set.FinSet
CommaCategory
1 (Type/Class)	CommaCategory.CommaCategory
2 (Data Constructor)	CommaCategory.CommaCategory
CommaMorphism
1 (Type/Class)	CommaCategory.CommaCategory
2 (Data Constructor)	CommaCategory.CommaCategory
CommaObject
1 (Type/Class)	CommaCategory.CommaCategory
2 (Data Constructor)	CommaCategory.CommaCategory
comp	FiniteCategory.FiniteCategory
completeMmap	Diagram.Diagram
component	FunctorCategory.FunctorCategory
compose	FiniteCategory.FiniteCategory
composeDiag	Diagram.Diagram
composite	CompositionGraph.CompositionGraph
CompositionGraph
1 (Type/Class)	CompositionGraph.CompositionGraph
2 (Data Constructor)	CompositionGraph.CompositionGraph
CompositionGraphError	CompositionGraph.CompositionGraph
CompositionLaw	CompositionGraph.CompositionGraph
compositionLaw	CompositionGraph.CompositionGraph
compositionLawS	CompositionGraph.SafeCompositionGraph
CompositionNotAssociative	FiniteCategory.FiniteCategory
Cone	ConeCategory.ConeCategory
ConeCategory
1 (Type/Class)	ConeCategory.LeftCone
2 (Data Constructor)	ConeCategory.LeftCone
3 (Type/Class)	ConeCategory.ConeCategory
ConeMorphism	ConeCategory.ConeCategory
conesOfApex	ConeCategory.ConeCategory
coneToDot	ExportGraphViz.ExportGraphViz
coneToNaturalTransformation	ConeCategory.ConeCategory
coneToPdf	ExportGraphViz.ExportGraphViz
constructLimit	Set.FinSet
createAndWriteFile	IO.CreateAndWriteFile
curryDiagram	Currying.Currying