Index
| ->$ | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| ->£ | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| <-@<- | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| <-@<= | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| <=@<- | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| <=@<= | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| =>$ | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| @ | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| @? | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| apex | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| ar | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| areIsomorphic | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| arFrom | Math.FiniteCategory, Math.FiniteCategories.All |
| arFrom2 | Math.FiniteCategory, Math.FiniteCategories.All |
| Arrow | |
| 1 (Type/Class) | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| arrowCategory | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| arrows | Math.FiniteCategory, Math.FiniteCategories.All |
| arTo | Math.FiniteCategory, Math.FiniteCategories.All |
| arTo2 | Math.FiniteCategory, Math.FiniteCategories.All |
| baseCocone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| baseCone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| bindingMorphismCocone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| bindingMorphismCone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| bruteForceDecompose | Math.FiniteCategory, Math.FiniteCategories.All |
| Category | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| categoryToGraph | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| categoryToGraphFormat | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| catToDot | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| catToDotFormat | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| catToPdf | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| catToPdfFormat | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| CGMorphism | |
| 1 (Type/Class) | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| checkDiagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| checkFiniteCategory | Math.FiniteCategoryError, Math.FiniteCategories.All |
| checkFiniteDiagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| checkGraphHomomorphism | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| checkNaturalTransformation | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| Cocone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| CoconeCategory | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| coconeCategory | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| CoconeMorphism | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| codomain | Math.Categories.FinSet, Math.Categories, Math.FiniteCategories.All |
| ColimitObject | Math.Functors.SetValued, Math.Functors, Math.FiniteCategories.All |
| colimits | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| CommaCategory | |
| 1 (Type/Class) | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| CommaMorphism | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| commaMorphism | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| CommaObject | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| commaObject | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| completeDiagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| components | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| compose | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| CompositionGraph | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| compositionGraph | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| compositionGraphFromSafeCompositionGraph | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| CompositionLaw | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| compositionLaw | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| compositionLawS | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| Cone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| ConeCategory | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| coneCategory | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| ConeMorphism | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| constantDiagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| constructRandomCompositionGraph | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| constructRandomSafeCompositionGraph | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| cosliceCategory | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| decompose | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| defaultConstructRandomCompositionGraph | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| defaultConstructRandomDiagram | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| defaultConstructRandomSafeCompositionGraph | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| defaultConstructRandomSafeDiagram | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| deltaFunctor | Math.Functors.DataMigration, Math.Functors, Math.FiniteCategories.All |
| diagonalFunctor | Math.Functors.DiagonalFunctor, Math.Functors, Math.FiniteCategories.All |
| Diagram | |
| 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 |
| diagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| DiagramError | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| diagToDot | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| diagToDot2 | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| diagToDot2Format | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| diagToDotCluster | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| diagToPdf | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| diagToPdf2 | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| diagToPdf2Format | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| diagToPdfCluster | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| DiscreteCategory | Math.FiniteCategories.DiscreteCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| discreteCategory | Math.FiniteCategories.DiscreteCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| discreteDiagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| DiscreteMorphism | Math.FiniteCategories.DiscreteCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| edgeMap | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| edges | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| embeddingToInheritedSubcategory | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| embeddingToSubcategory | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| emptyCompositionGraph | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| Ens | Math.FiniteCategories.Ens, Math.FiniteCategories, Math.FiniteCategories.All |
| ens | Math.FiniteCategories.Ens, Math.FiniteCategories, Math.FiniteCategories.All |
| 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 |
| Galaxy | |
| 1 (Type/Class) | Math.Categories.Galaxy, Math.Categories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.Categories.Galaxy, Math.Categories, Math.FiniteCategories.All |
| genAr | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| genArFrom | Math.FiniteCategory, Math.FiniteCategories.All |
| genArFrom2 | Math.FiniteCategory, Math.FiniteCategories.All |
| genArrows | Math.FiniteCategory, Math.FiniteCategories.All |
| genArTo | Math.FiniteCategory, Math.FiniteCategories.All |
| genArTo2 | Math.FiniteCategory, Math.FiniteCategories.All |
| genToDot | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| genToPdf | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| getLabel | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| getLabelS | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| Graph | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| graph | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| GraphHomomorphism | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| graphHomomorphism | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| Hat | |
| 1 (Type/Class) | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
| HatA | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
| HatAr | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
| HatB | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
| HatC | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
| HatF | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
| HatG | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
| HatIdA | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
| HatIdB | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
| HatIdC | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
| HatOb | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
| horizontalComposition | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| identities | Math.FiniteCategory, Math.FiniteCategories.All |
| identity | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| indexFirstArrow | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| indexSecondArrow | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| indexSource | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| indexTarget | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| InheritedFullSubcategory | |
| 1 (Type/Class) | Math.FiniteCategories.FullSubcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.FiniteCategories.FullSubcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| InheritedSubcategory | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| inheritedSubcategory | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| initialObjects | Math.FiniteCategory, Math.FiniteCategories.All |
| insertionFunctor1 | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| insertionFunctor2 | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| isComposite | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| isEpic | Math.FiniteCategory, Math.FiniteCategories.All |
| isGenerator | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| isIdentity | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| isInitial | Math.FiniteCategory, Math.FiniteCategories.All |
| isIso | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| isMonic | Math.FiniteCategory, Math.FiniteCategories.All |
| isNotIdentity | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| isRetraction | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| isSection | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| IsSmallerThan | |
| 1 (Type/Class) | Math.Categories.TotalOrder, Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.FiniteCategories.NumberCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.Categories.TotalOrder, Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.FiniteCategories.NumberCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| isTerminal | Math.FiniteCategory, Math.FiniteCategories.All |
| labelArrow | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| law | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| lawS | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| leftAdjoint | Math.Functors.Adjunction, Math.Functors, Math.FiniteCategories.All |
| leftDiagram | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| leftKan | Math.Functors.KanExtension, Math.Functors, Math.FiniteCategories.All |
| leftKanSetValued | Math.Functors.SetValued, Math.Functors, Math.FiniteCategories.All |
| leftWhiskering | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| legsCocone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| legsCone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| LimitObject | Math.Functors.SetValued, Math.Functors, Math.FiniteCategories.All |
| limits | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| main | |
| 1 (Function) | Math.Functors.DiagonalFunctor.Example |
| 2 (Function) | Math.Functors.Adjunction.Example |
| 3 (Function) | Math.FiniteCategories.V.Example |
| 4 (Function) | Math.FiniteCategories.Square.Example |
| 5 (Function) | Math.FiniteCategories.Parallel.Example |
| 6 (Function) | Math.FiniteCategories.One.Example |
| 7 (Function) | Math.FiniteCategories.NumberCategory.Example |
| 8 (Function) | Math.FiniteCategories.Hat.Example |
| 9 (Function) | Math.FiniteCategories.DiscreteCategory.Example |
| 10 (Function) | Math.FiniteCategories.ConeCategory.Example |
| 11 (Function) | Math.Functors.SetValued.Example |
| 12 (Function) | Math.Functors.KanExtension.Example |
| 13 (Function) | Math.Functors.DataMigration.Example |
| 14 (Function) | Math.FiniteCategories.Ens.Example |
| 15 (Function) | Math.Functors.YonedaEmbedding.Example |
| 16 (Function) | Math.Functors.Examples |
| 17 (Function) | Math.FiniteCategories.SafeCompositionGraph.Example |
| 18 (Function) | Math.FiniteCategories.Opposite.Example |
| 19 (Function) | Math.FiniteCategories.FunctorCategory.Example |
| 20 (Function) | Math.FiniteCategories.FinGrph.Example |
| 21 (Function) | Math.FiniteCategories.FinCat.Example |
| 22 (Function) | Math.FiniteCategories.CompositionGraph.Example |
| 23 (Function) | Math.FiniteCategories.CommaCategory.Example |
| 24 (Function) | Math.FiniteCategories.Examples |
| maxCycles | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| maxNbCycles | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| mmap | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| Morphism | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| nadir | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| natToDot | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| natToDotFormat | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| natToPdf | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| natToPdfFormat | Math.IO.FiniteCategories.ExportGraphViz, Math.FiniteCategories.All |
| NaturalTransformation | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| naturalTransformation | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| NaturalTransformationError | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| naturalTransformationToCocone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| naturalTransformationToCone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| nodeMap | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| nodes | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| NumberCategory | Math.FiniteCategories.NumberCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| numberCategory | Math.FiniteCategories.NumberCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| NumberCategoryMorphism | Math.FiniteCategories.NumberCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| NumberCategoryObject | Math.FiniteCategories.NumberCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| ob | Math.FiniteCategory, Math.FiniteCategories.All |
| omap | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| Omega | Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All |
| omega | Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All |
| One | |
| 1 (Type/Class) | Math.FiniteCategories.One, Math.FiniteCategories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.FiniteCategories.One, Math.FiniteCategories, Math.FiniteCategories.All |
| Op | |
| 1 (Type/Class) | Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| OpMorphism | |
| 1 (Type/Class) | Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| opOp | Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| opOpMorphism | Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| OrdinalCategory | |
| 1 (Type/Class) | Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All |
| originalCategory | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| originalCategory2 | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| Parallel | |
| 1 (Type/Class) | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All |
| ParallelA | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All |
| ParallelAr | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All |
| ParallelB | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All |
| parallelDiagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| ParallelF | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All |
| ParallelG | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All |
| ParallelIdA | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All |
| ParallelIdB | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All |
| ParallelOb | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All |
| Path | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| path | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| pathS | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| pickRandomDiagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| piFunctor | Math.Functors.DataMigration, Math.Functors, Math.FiniteCategories.All |
| PostcomposedFunctorCategory | |
| 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 |
| pprint | Math.IO.PrettyPrint, Math.FiniteCategories.All |
| pprintFunction | Math.IO.PrettyPrint, Math.FiniteCategories.All |
| PrecomposedFunctorCategory | |
| 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 |
| Presheaf | Math.Categories.PresheafCategory, Math.Categories, Math.FiniteCategories.All |
| PresheafCategory | Math.Categories.PresheafCategory, Math.Categories, Math.FiniteCategories.All |
| PresheafMorphism | Math.Categories.PresheafCategory, Math.Categories, Math.FiniteCategories.All |
| PrettyPrint | Math.IO.PrettyPrint, Math.FiniteCategories.All |
| RawPath | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| readCGDFile | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| readCGDString | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| readCGFile | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| readCGString | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| readSCGDFile | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| readSCGDString | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| readSCGFile | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| readSCGString | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| rightAdjoint | Math.Functors.Adjunction, Math.Functors, Math.FiniteCategories.All |
| rightDiagram | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| rightKan | Math.Functors.KanExtension, Math.Functors, Math.FiniteCategories.All |
| rightKanSetValued | Math.Functors.SetValued, Math.Functors, Math.FiniteCategories.All |
| rightWhiskering | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| SafeCompositionGraph | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| safeCompositionGraph | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| safeCompositionGraphFromCompositionGraph | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| SCGMorphism | |
| 1 (Type/Class) | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| selectedArrow | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| selectObject | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| sigmaFunctor | Math.Functors.DataMigration, Math.Functors, Math.FiniteCategories.All |
| sliceCategory | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| source | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| sourceArrow | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| Square | |
| 1 (Type/Class) | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareA | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareAr | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareB | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareC | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareD | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareF | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareFH | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareG | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareGI | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareH | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareI | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareIdA | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareIdB | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareIdC | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareIdD | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareOb | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| src | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| StarIdentity | |
| 1 (Type/Class) | Math.Categories.Galaxy, Math.Categories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.Categories.Galaxy, Math.Categories, Math.FiniteCategories.All |
| Subcategory | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| subcategory | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| support | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| supportS | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| target | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| targetArrow | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| terminalObjects | Math.FiniteCategory, Math.FiniteCategories.All |
| tgt | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| TotalOrder | |
| 1 (Type/Class) | Math.Categories.TotalOrder, Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.Categories.TotalOrder, Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All |
| underlyingGraph | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| underlyingGraphFormat | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| unsafeCommaMorphism | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| unsafeCommaObject | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| unsafeCompositionGraph | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| unsafeGraph | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| unsafeGraphHomomorphism | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| unsafeInheritedSubcategory | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| unsafeNaturalTransformation | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| unsafeReadCGDFile | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| unsafeReadCGDString | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| unsafeReadCGFile | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| unsafeReadCGString | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| unsafeReadSCGDFile | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| unsafeReadSCGDString | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| unsafeReadSCGFile | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| unsafeReadSCGString | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| unsafeSafeCompositionGraph | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| unsafeSubcategory | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| V | |
| 1 (Type/Class) | Math.FiniteCategories.V, Math.FiniteCategories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.FiniteCategories.V, Math.FiniteCategories, Math.FiniteCategories.All |
| VA | Math.FiniteCategories.V, Math.FiniteCategories, Math.FiniteCategories.All |
| VAr | Math.FiniteCategories.V, Math.FiniteCategories, Math.FiniteCategories.All |
| VB | Math.FiniteCategories.V, Math.FiniteCategories, Math.FiniteCategories.All |
| VC | Math.FiniteCategories.V, Math.FiniteCategories, Math.FiniteCategories.All |
| VF | Math.FiniteCategories.V, Math.FiniteCategories, Math.FiniteCategories.All |
| VG | Math.FiniteCategories.V, Math.FiniteCategories, Math.FiniteCategories.All |
| VIdA | Math.FiniteCategories.V, Math.FiniteCategories, Math.FiniteCategories.All |
| VIdB | Math.FiniteCategories.V, Math.FiniteCategories, Math.FiniteCategories.All |
| VIdC | Math.FiniteCategories.V, Math.FiniteCategories, Math.FiniteCategories.All |
| VOb | Math.FiniteCategories.V, Math.FiniteCategories, Math.FiniteCategories.All |
| writeCGDFile | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| writeCGDString | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| writeCGFile | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| writeCGString | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| writeSCGDFile | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| writeSCGDString | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| writeSCGFile | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| writeSCGString | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| yonedaEmbedding | Math.Categories.PresheafCategory, Math.Categories, Math.FiniteCategories.All |
| ||!|| | Math.Categories.FinSet, Math.Categories, Math.FiniteCategories.All |