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 |
| A | Math.FiniteCategories.DiscreteTwo, Math.FiniteCategories, 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 |
| arFrom2WithoutId | Math.FiniteCategory, Math.FiniteCategories.All |
| arFromWithoutId | 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 |
| ArrowSketch | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| arrowsWithoutId | Math.FiniteCategory, Math.FiniteCategories.All |
| arrowToCGMorphism | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| arTo | Math.FiniteCategory, Math.FiniteCategories.All |
| arTo2 | Math.FiniteCategory, Math.FiniteCategories.All |
| arTo2WithoutId | Math.FiniteCategory, Math.FiniteCategories.All |
| arToWithoutId | Math.FiniteCategory, Math.FiniteCategories.All |
| arWithoutId | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| B | Math.FiniteCategories.DiscreteTwo, Math.FiniteCategories, 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 |
| BaseOfCoconeIsNotInUnderlyingCategory | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| BaseOfConeIsNotInUnderlyingCategory | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| BaseOfTripodIsNotInUnderlyingCategory | Math.Categories.FinSketch, 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 |
| bottomInjectionsCocone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| bruteForceDecompose | Math.FiniteCategory, Math.FiniteCategories.All |
| CandidateExponentialObject | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| CandidateExponentialObjectCategory | |
| 1 (Type/Class) | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| CandidateExponentialObjectMorphism | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| candidateExponentialObjectMorphism | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| canFunctorBePromotedIntoSketchMorphism | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| Cartesian | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| CartesianCategory | Math.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| CartesianClosedCategory | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| CartesianMorphism | Math.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| CartesianObject | Math.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| Category | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| CategorySketch | Math.Categories.FinSketch, Math.Categories, 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 |
| cgmorphismToArrow | 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 |
| checkFiniteSketch | Math.Categories.FinSketch, 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 |
| checkSketch | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| CocompleteCategory | Math.CocompleteCategory, Math.FiniteCategories.All |
| Cocone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, 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 |
| CoconeNotSentToACocone | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| CoconeSketch | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| CocrescentMoon | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| codomain | Math.Categories.FinSet, Math.Categories, Math.FiniteCategories.All |
| coequalize | Math.CocompleteCategory, Math.FiniteCategories.All |
| Colantern | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| Colimit | Math.CocompleteCategory, Math.FiniteCategories.All |
| colimit | Math.CocompleteCategory, Math.FiniteCategories.All |
| colimitFromCoproductsAndCoequalizers | Math.CocompleteCategory, Math.FiniteCategories.All |
| ColimitObject | Math.Functors.SetValued, Math.Functors, Math.FiniteCategories.All |
| colimitOfCompositionGraphs | Math.FiniteCategories.ColimitCategory, Math.FiniteCategories, 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 |
| CompleteCategory | Math.CompleteCategory, Math.FiniteCategories.All |
| completeCocone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| completeCone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, 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 |
| 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 |
| ConeNotSentToACone | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| ConeSketch | Math.Categories.FinSketch, 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 |
| constructTwoConeFromTripod | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| constructTwoConeFromTripodText | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| containsCocrescentMoon | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| containsColantern | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| containsCospotlight | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| containsCrescentMoon | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| containsLantern | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| containsLightConstruction | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| containsSpotlight | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| coproduct | Math.CocompleteCategory, Math.FiniteCategories.All |
| CoproductElement | Math.CocompleteCategory, Math.FiniteCategories.All |
| coprojectBase | Math.CocompleteCategory, Math.FiniteCategories.All |
| coprojectBaseCompositionGraphs | Math.FiniteCategories.ColimitCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| Coprojection | Math.CocompleteCategory, Math.FiniteCategories.All |
| cosliceCategory | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| Cospotlight | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| CrescentMoon | Math.Categories.FinSketch, 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 |
| diagramToDiagramOfCompositionGraphs | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| diagramToDiagramOfCompositionGraphs2 | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, 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 |
| DiscreteTwo | |
| 1 (Type/Class) | Math.FiniteCategories.DiscreteTwo, Math.FiniteCategories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.FiniteCategories.DiscreteTwo, Math.FiniteCategories, Math.FiniteCategories.All |
| DiscreteTwoAr | Math.FiniteCategories.DiscreteTwo, Math.FiniteCategories, Math.FiniteCategories.All |
| DiscreteTwoOb | Math.FiniteCategories.DiscreteTwo, Math.FiniteCategories, Math.FiniteCategories.All |
| distinguishedCocones | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| distinguishedCones | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| distinguishedTripods | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| divisibilityGraph | Math.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, 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 |
| equalize | Math.CompleteCategory, Math.FiniteCategories.All |
| evalMap | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| example4TransformedIntoACompositionGraph | Math.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleArrowCategory | Math.FiniteCategories.CommaCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleCgdString | Math.FiniteCategories.FunctorCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleCgString | Math.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleCgString2 | Math.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleCoconeCategory | Math.FiniteCategories.ConeCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleCocrescentMoon | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleCoequalizerSet | Math.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleColantern | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleColimit | Math.FiniteCategories.ConeCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleColimitOfCompositionGraphs | Math.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleColimitOfGraphs | Math.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleColimitSet | Math.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleCompositionGraph | Math.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleCompositionGraph2 | Math.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleConeCategory | Math.FiniteCategories.ConeCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleCoproductSet | Math.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleCoslice | Math.FiniteCategories.CommaCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleCospotlight | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleCrescentMoon | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDeltaFunctor | Math.Functors.DataMigration.Examples, Math.Functors.Examples |
| exampleDiagonalFunctor | Math.Functors.DiagonalFunctor.Examples, Math.Functors.Examples |
| exampleDiagramHatToFinGrph | Math.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiagramHatToSquare | Math.FiniteCategories.FunctorCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiagramOfNumberCategory | Math.FiniteCategories.NumberCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiagramOfSketches | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiagramOfSketches2 | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiagramToCompositionGraphs | Math.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiagramVToFinCat | Math.FiniteCategories.LimitCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiagramVToFinSet | Math.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiagramVToSquare | Math.FiniteCategories.FunctorCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiscreteCategory0 | Math.FiniteCategories.DiscreteCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiscreteCategory1 | Math.FiniteCategories.DiscreteCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiscreteCategory2 | Math.FiniteCategories.DiscreteCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiscreteCategory3 | Math.FiniteCategories.DiscreteCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiscreteCategory4 | Math.FiniteCategories.DiscreteCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiscreteCategory5 | Math.FiniteCategories.DiscreteCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiscreteDiagramToFinGrph | Math.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleDiscreteDiagToSet | Math.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleEns | Math.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleEns2 | Math.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleEqualizerInFinGrph | Math.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleEqualizerSet | Math.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleExponentialObjectInSet | Math.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleFinCatNumbers | Math.FiniteCategories.FinCat.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleFinGrph | Math.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleFunctorCategory | Math.FiniteCategories.FunctorCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleGraph | Math.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleLantern | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleLeftAdjoint | Math.Functors.Adjunction.Examples, Math.Functors.Examples |
| exampleLeftKanExtension | Math.Functors.KanExtension.Examples, Math.Functors.Examples |
| exampleLimit | Math.FiniteCategories.ConeCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleLimitCategoryOfCompositionGraphs | Math.FiniteCategories.LimitCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleLimitOfCompositionGraphs | Math.FiniteCategories.LimitCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleLimitSet | Math.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleLoopingSafeCompositionGraph | Math.FiniteCategories.SafeCompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleNoCrescentMoon | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleNumberCategory0 | Math.FiniteCategories.NumberCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleNumberCategory1 | Math.FiniteCategories.NumberCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleNumberCategory2 | Math.FiniteCategories.NumberCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleNumberCategory3 | Math.FiniteCategories.NumberCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleNumberCategory4 | Math.FiniteCategories.NumberCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleNumberCategory5 | Math.FiniteCategories.NumberCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleOppositeEns | Math.FiniteCategories.Opposite.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleOppositeNumberCategory | Math.FiniteCategories.Opposite.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleParallelDiagramToFinGrph | Math.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleParallelDiagramToSet | Math.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| examplePiFunctor | Math.Functors.DataMigration.Examples, Math.Functors.Examples |
| examplePostcomposedFunctorCategory | Math.FiniteCategories.FunctorCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| examplePrecomposedFunctorCategory | Math.FiniteCategories.FunctorCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleProductGaphs | Math.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleProductSet | Math.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleRandomCompositionGraph | Math.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleRandomSafeCompositionGraph | Math.FiniteCategories.SafeCompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleRightAdjoint | Math.Functors.Adjunction.Examples, Math.Functors.Examples |
| exampleRightKanExtension | Math.Functors.KanExtension.Examples, Math.Functors.Examples |
| exampleSafeCompositionGraph | Math.FiniteCategories.SafeCompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleScgString | Math.FiniteCategories.SafeCompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSetTransformedIntoACompositionGraph | Math.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSetValuedLeftKanExtension | Math.Functors.SetValued.Examples, Math.Functors.Examples |
| exampleSetValuedRightKanExtension | Math.Functors.SetValued.Examples, Math.Functors.Examples |
| exampleSigmaFunctor | Math.Functors.DataMigration.Examples, Math.Functors.Examples |
| exampleSketchAtomic | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSketchGraph | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSketchLoop | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSketchMagma | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSketchMorphismMagmaToUnitalMagma | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSketchPointedSet | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSketchSAT1 | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSketchSAT2 | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSketchSAT3 | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSketchSAT4 | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSketchSAT5 | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSketchSAT6 | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSketchToRealize | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSketchUnitalMagma | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSlice | Math.FiniteCategories.CommaCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleSpotlight | Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |
| exampleYonedaEmbeddingOfHat | Math.Functors.YonedaEmbedding.Examples, Math.Functors.Examples |
| exampleYonedaEmbeddingOfSquare | Math.Functors.YonedaEmbedding.Examples, Math.Functors.Examples |
| Exponential | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| ExponentialCategory | |
| 1 (Type/Class) | Math.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| ExponentialCategoryMorphism | Math.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| ExponentialCategoryObject | Math.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| ExponentialElement | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| ExponentialElementMorphism | Math.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| ExponentialElementObject | Math.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| exponentialObjects | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| ExprojectedCategory | Math.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| ExprojectedMorphism | Math.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| ExprojectedObject | Math.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| Exprojection | Math.CartesianClosedCategory, 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 |
| finiteCategoryToCompositionGraph2 | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| finiteDiagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, 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 |
| FinSketch | |
| 1 (Type/Class) | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.Categories.FinSketch, 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 |
| genArFrom2WithoutId | Math.FiniteCategory, Math.FiniteCategories.All |
| genArFromWithoutId | Math.FiniteCategory, Math.FiniteCategories.All |
| genArrows | Math.FiniteCategory, Math.FiniteCategories.All |
| genArrowsWithoutId | Math.FiniteCategory, Math.FiniteCategories.All |
| genArTo | Math.FiniteCategory, Math.FiniteCategories.All |
| genArTo2 | Math.FiniteCategory, Math.FiniteCategories.All |
| genArTo2WithoutId | Math.FiniteCategory, Math.FiniteCategories.All |
| genArToWithoutId | Math.FiniteCategory, Math.FiniteCategories.All |
| genArWithoutId | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| getLabel | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| getLabelS | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| getMorphismFromLabel | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| glueMorphism | Math.FiniteCategories.ColimitCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| glueMorphisms | Math.FiniteCategories.ColimitCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| glueObject | Math.FiniteCategories.ColimitCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| glueObjects | Math.FiniteCategories.ColimitCategory, 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 |
| HasCoequalizers | Math.CocompleteCategory, Math.FiniteCategories.All |
| HasCoproducts | Math.CocompleteCategory, Math.FiniteCategories.All |
| HasEqualizers | Math.CompleteCategory, Math.FiniteCategories.All |
| HasProducts | Math.CompleteCategory, 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 |
| indentation | Math.IO.PrettyPrint, Math.FiniteCategories.All |
| indexFirstArrow | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| indexingCategory | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| indexingCategoryCocone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| indexingCategoryCone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, 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 |
| insertionDiscreteTwoInDiscreteCategory | Math.FiniteCategories.DiscreteTwo, Math.FiniteCategories, 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 |
| internalCodomain | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| internalDomain | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| internalHom | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| inverseDiagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| isCandidateExponentialObject | Math.CartesianClosedCategory, 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 |
| Lantern | Math.Categories.FinSketch, 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 |
| LightConstruction | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| Limit | Math.CompleteCategory, Math.FiniteCategories.All |
| limit | Math.CompleteCategory, Math.FiniteCategories.All |
| LimitCategory | |
| 1 (Type/Class) | Math.FiniteCategories.LimitCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.FiniteCategories.LimitCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| limitFromProductsAndEqualizers | Math.CompleteCategory, 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 |
| mapOnArrows | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| mapOnArrows2 | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| mapOnEdges | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| mapOnNodes | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| mapOnObjects | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| mapOnObjects2 | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| 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 |
| 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 |
| 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 |
| ObjectSketch | Math.Categories.FinSketch, Math.Categories, 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 |
| postcomposeCoconeWithMorphism | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| postcomposeConeWithFunctor | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, 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 |
| powerObject | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| pp | Math.IO.PrettyPrint, Math.FiniteCategories.All |
| ppi | Math.IO.PrettyPrint, Math.FiniteCategories.All |
| pprint | Math.IO.PrettyPrint, Math.FiniteCategories.All |
| pprintFiniteCategory | Math.FiniteCategory, Math.FiniteCategories.All |
| pprintFunction | Math.IO.PrettyPrint, Math.FiniteCategories.All |
| pprintIndent | Math.IO.PrettyPrint, Math.FiniteCategories.All |
| pprintWithIndentations | Math.IO.PrettyPrint, Math.FiniteCategories.All |
| precomposeCoconeWithFunctor | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| precomposeConeWithMorphism | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, 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 |
| product | Math.CompleteCategory, Math.FiniteCategories.All |
| ProductElement | Math.CompleteCategory, Math.FiniteCategories.All |
| projectBase | Math.CompleteCategory, Math.FiniteCategories.All |
| ProjectedCategory | Math.FiniteCategories.LimitCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| Projection | Math.CompleteCategory, 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 |
| Sketch | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| sketch | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| SketchError | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| SketchMorphism | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| sketchMorphism | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| SketchMorphismError | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| sketchText | Math.Categories.FinSketch, Math.Categories, 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 |
| Spotlight | Math.Categories.FinSketch, 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 |
| supportSketch | Math.Categories.FinSketch, Math.Categories, 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 |
| topInjectionsCone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, 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 |
| transpose | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| Tripod | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| tripod | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| TripodNotSentToATripod | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| TripodSketch | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| TripodTwoConeDoesNotBelongToDistinguishedCones | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| TwoBase | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| twoCone | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| twoDiagram | Math.FiniteCategories.DiscreteTwo, Math.FiniteCategories, Math.FiniteCategories.All |
| TwoProduct | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| TwoSameIndexingObjects | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| uncoproject | Math.CocompleteCategory, Math.FiniteCategories.All |
| uncoprojectBase | Math.CocompleteCategory, Math.FiniteCategories.All |
| underlyingCategory | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| UnderlyingCategoryError | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| underlyingFunctor | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| UnderlyingFunctorError | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| underlyingGraph | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| underlyingGraphFormat | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| unexproject | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| universeCategoryCocone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| universeCategoryCone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| universeCategoryTripod | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| unproject | Math.CompleteCategory, Math.FiniteCategories.All |
| unprojectBase | Math.CompleteCategory, Math.FiniteCategories.All |
| unsafeArrowToCGMorphism | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| unsafeCandidateExponentialObjectMorphism | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| unsafeCGMorphismToArrow | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| unsafeCocone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, 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 |
| unsafeCone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| unsafeGetLabel | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| unsafeGetMorphismFromLabel | 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 |
| unsafeInverseDiagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, 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 |
| unsafeSketch | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| unsafeSketchMorphism | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| unsafeSubcategory | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| unsafeTripod | Math.CartesianClosedCategory, 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 |
| WrongSource | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| WrongTarget | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| yonedaEmbedding | Math.Categories.PresheafCategory, Math.Categories, Math.FiniteCategories.All |
| ||!|| | Math.Categories.FinSet, Math.Categories, Math.FiniteCategories.All |