Index

!-	Utils.AssociationList
!-!	Utils.AssociationList
!-.	Utils.AssociationList
!-?	Utils.AssociationList
&&&	Set.FinSet
@	FiniteCategory.FiniteCategory
A
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
apex	ConeCategory.ConeCategory
ar	FiniteCategory.FiniteCategory
arFrom	FiniteCategory.FiniteCategory
arFrom2	FiniteCategory.FiniteCategory
Arrow	CompositionGraph.CompositionGraph
arrow	CommaCategory.CommaCategory
ArrowBetweenUnknownObjects	FiniteCategory.FiniteCategory
arrows	FiniteCategory.FiniteCategory
ArrowsNotExhaustive	FiniteCategory.FiniteCategory
arrowsNotMapped	Cat.PartialFinCat
arrowsNotMappedTo	Cat.PartialFinCat
arTo	FiniteCategory.FiniteCategory
arTo2	FiniteCategory.FiniteCategory
AssociationList	Utils.AssociationList
assocListToFunct	Utils.AssociationList
B
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
BeginArrow	IO.Parsers.Lexer
BeginSrc	IO.Parsers.Lexer
BeginTgt	IO.Parsers.Lexer
bruteForceDecompose	FiniteCategory.FiniteCategory
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
D	UsualCategories.Square
decomp	FiniteCategory.FiniteCategory
decompose	FiniteCategory.FiniteCategory
defaultDecompose	FiniteCategory.FiniteCategory
defaultGenAr	FiniteCategory.FiniteCategory
defaultMkRandomCompositionGraph	RandomCompositionGraph.RandomCompositionGraph
defaultMkRandomDiagram	RandomDiagram.RandomDiagram
DeleteCompositeMorph	CompositionGraph.CompositionGraph
DeleteIdentity	CompositionGraph.CompositionGraph
deleteMorphism	CompositionGraph.CompositionGraph
deleteMorphismS	CompositionGraph.SafeCompositionGraph
DeleteNonExistantObject	CompositionGraph.CompositionGraph
DeleteNonExistantObjectMorph	CompositionGraph.CompositionGraph
deleteObject	CompositionGraph.CompositionGraph
deleteObjectS	CompositionGraph.SafeCompositionGraph
Diagram
1 (Type/Class)	Diagram.Diagram
2 (Data Constructor)	Diagram.Diagram
diagramToFinFunctor	Diagram.Conversion
diagramToPartialFunctor	Diagram.Conversion
diagToDot	ExportGraphViz.ExportGraphViz
diagToDot2	ExportGraphViz.ExportGraphViz
diagToDotCluster	ExportGraphViz.ExportGraphViz
diagToPdf	ExportGraphViz.ExportGraphViz
diagToPdf2	ExportGraphViz.ExportGraphViz
diagToPdfCluster	ExportGraphViz.ExportGraphViz
DiscreteCategory
1 (Type/Class)	UsualCategories.DiscreteCategory
2 (Data Constructor)	UsualCategories.DiscreteCategory
DiscreteIdentity
1 (Type/Class)	UsualCategories.DiscreteCategory
2 (Data Constructor)	UsualCategories.DiscreteCategory
DiscreteObject
1 (Type/Class)	UsualCategories.DiscreteCategory
2 (Data Constructor)	UsualCategories.DiscreteCategory
domainArrows	Cat.PartialFinCat
domainObjects	Cat.PartialFinCat
doubleInclusion	Utils.SetList
dupMorph	FiniteCategory.FiniteCategory
dupObj	FiniteCategory.FiniteCategory
Elem	Set.FinSet
emptyFinSet	Set.FinSet
EndArrow	IO.Parsers.Lexer
EndSrc	IO.Parsers.Lexer
EndTgt	IO.Parsers.Lexer
enumAssocLists	Utils.AssociationList
enumMaps	Utils.EnumerateMaps
Equals	IO.Parsers.Lexer
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
G
1 (Data Constructor)	UsualCategories.V
2 (Data Constructor)	UsualCategories.Three
3 (Data Constructor)	UsualCategories.Square
4 (Data Constructor)	UsualCategories.Parallel
5 (Data Constructor)	UsualCategories.Hat
g	FiniteCategory.FiniteCategory
gen	CompositionGraph.CompositionGraph
genAr	FiniteCategory.FiniteCategory
genArFrom	FiniteCategory.FiniteCategory
genArFrom2	FiniteCategory.FiniteCategory
genArrows	FiniteCategory.FiniteCategory
genArTo	FiniteCategory.FiniteCategory
genArTo2	FiniteCategory.FiniteCategory
generalizeType	Set.FinSet
generalizeTypeSetCat	Set.FinSet
GeneratedFiniteCategory	FiniteCategory.FiniteCategory
generatedFiniteCategoryToCompositionGraph	CompositionGraph.CompositionGraph
generatedFiniteCategoryToSafeCompositionGraph	CompositionGraph.SafeCompositionGraph
GeneratorIsNotAMorphism	FiniteCategory.FiniteCategory
genToDot	ExportGraphViz.ExportGraphViz
genToPdf	ExportGraphViz.ExportGraphViz
getLabel	CompositionGraph.CompositionGraph
getLabelS	CompositionGraph.SafeCompositionGraph
GF	UsualCategories.Three
GI	UsualCategories.Square
Graph	CompositionGraph.CompositionGraph
graph	CompositionGraph.CompositionGraph
graphS	CompositionGraph.SafeCompositionGraph
H	UsualCategories.Square
h	FiniteCategory.FiniteCategory
Hat
1 (Type/Class)	UsualCategories.Hat
2 (Data Constructor)	UsualCategories.Hat
HatAr	UsualCategories.Hat
HatOb	UsualCategories.Hat
I	UsualCategories.Square
IdA
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
IdB
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
IdC
1 (Data Constructor)	UsualCategories.V
2 (Data Constructor)	UsualCategories.Three
3 (Data Constructor)	UsualCategories.Square
4 (Data Constructor)	UsualCategories.Hat
IdD	UsualCategories.Square
IdentifyGenerator	CompositionGraph.CompositionGraph
identifyMorphisms	CompositionGraph.CompositionGraph
identifyMorphismsS	CompositionGraph.SafeCompositionGraph
identities	FiniteCategory.FiniteCategory
Identity	IO.Parsers.Lexer
identity	FiniteCategory.FiniteCategory
IdentityNotLeftNeutral	FiniteCategory.FiniteCategory
IdentityNotRightNeutral	FiniteCategory.FiniteCategory
idL	FiniteCategory.FiniteCategory
idR	FiniteCategory.FiniteCategory
idRof	FiniteCategory.FiniteCategory
includedIn	Set.FinSet
inclusionFunctor	ConeCategory.LeftCone
indexAr1	CommaCategory.CommaCategory
indexAr2	CommaCategory.CommaCategory
indexSrc	CommaCategory.CommaCategory
indexTgt	CommaCategory.CommaCategory
initialObjects	FiniteCategory.FiniteCategory, ConeCategory.ConeCategory
insertMorphism	CompositionGraph.CompositionGraph
InsertMorphismNonExistantSource	CompositionGraph.CompositionGraph
InsertMorphismNonExistantTarget	CompositionGraph.CompositionGraph
insertMorphismS	CompositionGraph.SafeCompositionGraph
insertObject	CompositionGraph.CompositionGraph
insertObjectS	CompositionGraph.SafeCompositionGraph
intersection	Set.FinSet
inverse	Utils.AssociationList
isComp	CompositionGraph.CompositionGraph
isComposite	FiniteCategory.FiniteCategory
isCompS	CompositionGraph.SafeCompositionGraph
isGen	CompositionGraph.CompositionGraph
isGenerator	FiniteCategory.FiniteCategory
isGenS	CompositionGraph.SafeCompositionGraph
isIdentity	FiniteCategory.FiniteCategory
isIn	Set.FinSet
isIncludedIn	Utils.SetList
isInitial	FiniteCategory.FiniteCategory
isNotIdentity	FiniteCategory.FiniteCategory
isTerminal	FiniteCategory.FiniteCategory
keys	Utils.AssociationList
law	CompositionGraph.CompositionGraph
lawS	CompositionGraph.SafeCompositionGraph
leftAdjoint	Adjunction.Adjunction
LeftCone
1 (Type/Class)	ConeCategory.LeftCone
2 (Data Constructor)	ConeCategory.LeftCone
leftDiag	CommaCategory.CommaCategory
limitFunctor	Limit.Limit
limits	ConeCategory.ConeCategory
MapsTo	IO.Parsers.Lexer
maxCycles	CompositionGraph.SafeCompositionGraph
maximumLoopDepth	Config.Config
maxNbCycles	CompositionGraph.SafeCompositionGraph
missingAr	FiniteCategory.FiniteCategory
mkArrowCategory	CommaCategory.CommaCategory
mkAssocListIdentity	Utils.AssociationList
mkCoconeCategory	ConeCategory.ConeCategory
mkCompositionGraph	CompositionGraph.CompositionGraph
mkConeCategory	ConeCategory.ConeCategory
mkConstantDiagram	Diagram.Diagram
mkCosliceCategory	CommaCategory.CommaCategory
mkDiagonalFunctor	DiagonalFunctor.DiagonalFunctor
mkDiagram	Diagram.Diagram
mkDiscreteDiagram	Diagram.Diagram
mkEmptyCompositionGraph	CompositionGraph.CompositionGraph
mkEmptySafeCompositionGraph	CompositionGraph.SafeCompositionGraph
mkHat	Diagram.Diagram
mkIdentityDiagram	Diagram.Diagram
mkParallel	Diagram.Diagram
mkRandomCompositionGraph	RandomCompositionGraph.RandomCompositionGraph
mkRandomDiagram	RandomDiagram.RandomDiagram
mkSafeCompositionGraph	CompositionGraph.SafeCompositionGraph
mkSelect0	Diagram.Diagram
mkSelect1	Diagram.Diagram
mkSelect2	Diagram.Diagram
mkSelect3	Diagram.Diagram
mkSliceCategory	CommaCategory.CommaCategory
mkTriangle	Diagram.Diagram
mkV	Diagram.Diagram
mmap	Diagram.Diagram
mmapF	Cat.FinCat
mmapPF	Cat.PartialFinCat
morph	CompositionGraph.CompositionGraph
Morphism	FiniteCategory.FiniteCategory
MorphismDoesntDecomposesIntoGenerators	FiniteCategory.FiniteCategory
MorphismsNotUnique	FiniteCategory.FiniteCategory
MorphismsShouldNotBeEqual	FiniteCategory.FiniteCategory
nadir	ConeCategory.ConeCategory
Name	IO.Parsers.Lexer
natToDot	ExportGraphViz.ExportGraphViz
natToPdf	ExportGraphViz.ExportGraphViz
NaturalTransformation
1 (Type/Class)	FunctorCategory.FunctorCategory
2 (Data Constructor)	FunctorCategory.FunctorCategory
naturalTransformationToCocone	ConeCategory.ConeCategory
naturalTransformationToCone	ConeCategory.ConeCategory
neMorph	CompositionGraph.CompositionGraph
notGen	FiniteCategory.FiniteCategory
NotTransitive	FiniteCategory.FiniteCategory
ob	FiniteCategory.FiniteCategory
objectImage	Diagram.Diagram
objectsNotMapped	Cat.PartialFinCat
objectsNotMappedTo	Cat.PartialFinCat
ObjectsNotUnique	FiniteCategory.FiniteCategory
omap	Diagram.Diagram
omapF	Cat.FinCat
omapPF	Cat.PartialFinCat
One
1 (Type/Class)	UsualCategories.One
2 (Data Constructor)	UsualCategories.One
Op	OppositeCategory.OppositeCategory
OpMorph	OppositeCategory.OppositeCategory
opOp	OppositeCategory.OppositeCategory
opOpMorph	OppositeCategory.OppositeCategory
OppositeCategory	OppositeCategory.OppositeCategory
OppositeMorphism	OppositeCategory.OppositeCategory
Parallel
1 (Type/Class)	UsualCategories.Parallel
2 (Data Constructor)	UsualCategories.Parallel
ParallelAr	UsualCategories.Parallel
ParallelOb	UsualCategories.Parallel
parserLex	IO.Parsers.Lexer
parseSCGString	IO.Parsers.SafeCompositionGraph
PartialFinCat
1 (Type/Class)	Cat.PartialFinCat
2 (Data Constructor)	Cat.PartialFinCat
PartialFunctor
1 (Type/Class)	Cat.PartialFinCat
2 (Data Constructor)	Cat.PartialFinCat
partialFunctorToDiagram	Diagram.Conversion
partialFunctorToFinFunctor	Diagram.Conversion
Path	CompositionGraph.CompositionGraph
path	CompositionGraph.CompositionGraph
pathS	CompositionGraph.SafeCompositionGraph
pickOne	Utils.Sample
postWhiskering	FunctorCategory.FunctorCategory
powerFinOrdSet	Set.FinOrdSet
powerFinSet	Set.FinSet
powerList	Utils.SetList
pprint	IO.PrettyPrint
pprintFunction	IO.PrettyPrint
PreSheaf	YonedaEmbedding.YonedaEmbedding
PreSheavesCategory	YonedaEmbedding.YonedaEmbedding
PreSheavesNatTransfo	YonedaEmbedding.YonedaEmbedding
PrettyPrintable	IO.PrettyPrint
preWhiskering	FunctorCategory.FunctorCategory
ProductCategory
1 (Type/Class)	ProductCategory.ProductCategory
2 (Data Constructor)	ProductCategory.ProductCategory
ProductMorphism
1 (Type/Class)	ProductCategory.ProductCategory
2 (Data Constructor)	ProductCategory.ProductCategory
ProductObject
1 (Type/Class)	ProductCategory.ProductCategory
2 (Data Constructor)	ProductCategory.ProductCategory
RawPath	CompositionGraph.CompositionGraph
readCGFile	IO.Parsers.CompositionGraph
readFSCGFile	IO.Parsers.SafeCompositionGraphFunctor
readSCGFile	IO.Parsers.SafeCompositionGraph
realSource	FiniteCategory.FiniteCategory
realTarget	FiniteCategory.FiniteCategory
removeKey	Utils.AssociationList
removeValue	Utils.AssociationList
ReplaceCompositeMorphism	CompositionGraph.CompositionGraph
replaceMorphism	CompositionGraph.CompositionGraph
replaceMorphismS	CompositionGraph.SafeCompositionGraph
ReplaceNonExistantObject	CompositionGraph.CompositionGraph
replaceObject	CompositionGraph.CompositionGraph
replaceObjectS	CompositionGraph.SafeCompositionGraph
ResultingCategoryError	CompositionGraph.CompositionGraph
rightAdjoint	Adjunction.Adjunction
rightDiag	CommaCategory.CommaCategory
s	FiniteCategory.FiniteCategory
SafeCompositionGraph
1 (Type/Class)	CompositionGraph.SafeCompositionGraph
2 (Data Constructor)	CompositionGraph.SafeCompositionGraph
sample	Utils.Sample
SCG	IO.Parsers.SafeCompositionGraph
SCGMorphism
1 (Type/Class)	CompositionGraph.SafeCompositionGraph
2 (Data Constructor)	CompositionGraph.SafeCompositionGraph
secondCategory	ProductCategory.ProductCategory
secondMorphism	ProductCategory.ProductCategory
secondObject	ProductCategory.ProductCategory
sets	Set.FinOrdSet
showFunction	IO.Show
singleton	Set.FinSet
snd3	Utils.Tuple
source	FiniteCategory.FiniteCategory
sourceCat	FunctorCategory.FunctorCategory
Square
1 (Type/Class)	UsualCategories.Square
2 (Data Constructor)	UsualCategories.Square
SquareAr	UsualCategories.Square
SquareOb	UsualCategories.Square
src	Diagram.Diagram
srcCM	CommaCategory.CommaCategory
srcF	Cat.FinCat
srcNT	FunctorCategory.FunctorCategory
srcPF	Cat.PartialFinCat
strip	IO.Parsers.Lexer
stripDiagram	Subcategories.Subcategory
Subcategory
1 (Type/Class)	Subcategories.Subcategory
2 (Data Constructor)	Subcategories.Subcategory
switchArg	Currying.Currying
t	FiniteCategory.FiniteCategory
target	FiniteCategory.FiniteCategory
targetCat	FunctorCategory.FunctorCategory
terminalObjects	FiniteCategory.FiniteCategory, ConeCategory.ConeCategory
tgt	Diagram.Diagram
tgtCM	CommaCategory.CommaCategory
tgtF	Cat.FinCat
tgtNT	FunctorCategory.FunctorCategory
tgtPF	Cat.PartialFinCat
Three
1 (Type/Class)	UsualCategories.Three
2 (Data Constructor)	UsualCategories.Three
ThreeAr	UsualCategories.Three
ThreeOb	UsualCategories.Three
Token	IO.Parsers.Lexer
toList	Set.FinSet
trd3	Utils.Tuple
Two
1 (Type/Class)	UsualCategories.Two
2 (Data Constructor)	UsualCategories.Two
TwoAr	UsualCategories.Two
TwoOb	UsualCategories.Two
uncurry3	Utils.Tuple
uncurryDiagram	Currying.Currying
unidentifyMorphism	CompositionGraph.CompositionGraph
unidentifyMorphismS	CompositionGraph.SafeCompositionGraph
UnidentifyNonExistantMorphism	CompositionGraph.CompositionGraph
union	Set.FinSet
V
1 (Type/Class)	UsualCategories.V
2 (Data Constructor)	UsualCategories.V
values	Utils.AssociationList
VAr	UsualCategories.V
VOb	UsualCategories.V
writeCGFile	IO.Parsers.CompositionGraph
writeSCGFile	IO.Parsers.SafeCompositionGraph
WrongDecomposition	FiniteCategory.FiniteCategory
WrongSource	FiniteCategory.FiniteCategory
WrongTarget	FiniteCategory.FiniteCategory
yonedaEmbedding	YonedaEmbedding.YonedaEmbedding
Zero
1 (Type/Class)	UsualCategories.Zero
2 (Data Constructor)	UsualCategories.Zero
\|*\|	Utils.CartesianProduct
\|^\|	Utils.CartesianProduct
\|\|\|	Set.FinSet