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

Index - D

DUsualCategories.Square
decompFiniteCategory.FiniteCategory
decomposeFiniteCategory.FiniteCategory
defaultDecomposeFiniteCategory.FiniteCategory
defaultGenArFiniteCategory.FiniteCategory
defaultMkRandomCompositionGraphRandomCompositionGraph.RandomCompositionGraph
defaultMkRandomDiagramRandomDiagram.RandomDiagram
DeleteCompositeMorphCompositionGraph.CompositionGraph
DeleteIdentityCompositionGraph.CompositionGraph
deleteMorphismCompositionGraph.CompositionGraph
deleteMorphismSCompositionGraph.SafeCompositionGraph
DeleteNonExistantObjectCompositionGraph.CompositionGraph
DeleteNonExistantObjectMorphCompositionGraph.CompositionGraph
deleteObjectCompositionGraph.CompositionGraph
deleteObjectSCompositionGraph.SafeCompositionGraph
Diagram 
1 (Type/Class)Diagram.Diagram
2 (Data Constructor)Diagram.Diagram
diagramToFinFunctorDiagram.Conversion
diagramToPartialFunctorDiagram.Conversion
diagToDotExportGraphViz.ExportGraphViz
diagToDot2ExportGraphViz.ExportGraphViz
diagToDotClusterExportGraphViz.ExportGraphViz
diagToPdfExportGraphViz.ExportGraphViz
diagToPdf2ExportGraphViz.ExportGraphViz
diagToPdfClusterExportGraphViz.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
domainArrowsCat.PartialFinCat
domainObjectsCat.PartialFinCat
doubleInclusionUtils.SetList
dupMorphFiniteCategory.FiniteCategory
dupObjFiniteCategory.FiniteCategory