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

Index - E

edgeMapMath.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All
edgesMath.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All
embeddingToInheritedSubcategoryMath.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All
embeddingToSubcategoryMath.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All
emptyCompositionGraphMath.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All
EnsMath.FiniteCategories.Ens, Math.FiniteCategories, Math.FiniteCategories.All
ensMath.FiniteCategories.Ens, Math.FiniteCategories, Math.FiniteCategories.All
equalizeMath.CompleteCategory, Math.FiniteCategories.All
evalMapMath.CartesianClosedCategory, Math.FiniteCategories.All
example4TransformedIntoACompositionGraphMath.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleArrowCategoryMath.FiniteCategories.CommaCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleCgdStringMath.FiniteCategories.FunctorCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleCgStringMath.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleCgString2Math.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleCoconeCategoryMath.FiniteCategories.ConeCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleCocrescentMoonMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleCoequalizerSetMath.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleColanternMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleColimitMath.FiniteCategories.ConeCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleColimitOfCompositionGraphsMath.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleColimitOfGraphsMath.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleColimitSetMath.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleCompositionGraphMath.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleCompositionGraph2Math.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleConeCategoryMath.FiniteCategories.ConeCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleCoproductSetMath.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleCosliceMath.FiniteCategories.CommaCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleCospotlightMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleCrescentMoonMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDeltaFunctorMath.Functors.DataMigration.Examples, Math.Functors.Examples
exampleDiagonalFunctorMath.Functors.DiagonalFunctor.Examples, Math.Functors.Examples
exampleDiagramHatToFinGrphMath.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiagramHatToSquareMath.FiniteCategories.FunctorCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiagramOfNumberCategoryMath.FiniteCategories.NumberCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiagramOfSketchesMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiagramOfSketches2Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiagramToCompositionGraphsMath.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiagramVToFinCatMath.FiniteCategories.LimitCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiagramVToFinSetMath.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiagramVToSquareMath.FiniteCategories.FunctorCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiscreteCategory0Math.FiniteCategories.DiscreteCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiscreteCategory1Math.FiniteCategories.DiscreteCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiscreteCategory2Math.FiniteCategories.DiscreteCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiscreteCategory3Math.FiniteCategories.DiscreteCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiscreteCategory4Math.FiniteCategories.DiscreteCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiscreteCategory5Math.FiniteCategories.DiscreteCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiscreteDiagramToFinGrphMath.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleDiscreteDiagToSetMath.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleEnsMath.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleEns2Math.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleEqualizerInFinGrphMath.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleEqualizerSetMath.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleExponentialObjectInSetMath.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleFinCatNumbersMath.FiniteCategories.FinCat.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleFinGrphMath.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleFunctorCategoryMath.FiniteCategories.FunctorCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleGraphMath.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleLanternMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleLeftAdjointMath.Functors.Adjunction.Examples, Math.Functors.Examples
exampleLeftKanExtensionMath.Functors.KanExtension.Examples, Math.Functors.Examples
exampleLimitMath.FiniteCategories.ConeCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleLimitCategoryOfCompositionGraphsMath.FiniteCategories.LimitCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleLimitOfCompositionGraphsMath.FiniteCategories.LimitCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleLimitSetMath.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleLoopingSafeCompositionGraphMath.FiniteCategories.SafeCompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleNoCrescentMoonMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleNumberCategory0Math.FiniteCategories.NumberCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleNumberCategory1Math.FiniteCategories.NumberCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleNumberCategory2Math.FiniteCategories.NumberCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleNumberCategory3Math.FiniteCategories.NumberCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleNumberCategory4Math.FiniteCategories.NumberCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleNumberCategory5Math.FiniteCategories.NumberCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleOppositeEnsMath.FiniteCategories.Opposite.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleOppositeNumberCategoryMath.FiniteCategories.Opposite.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleParallelDiagramToFinGrphMath.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleParallelDiagramToSetMath.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
examplePiFunctorMath.Functors.DataMigration.Examples, Math.Functors.Examples
examplePostcomposedFunctorCategoryMath.FiniteCategories.FunctorCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
examplePrecomposedFunctorCategoryMath.FiniteCategories.FunctorCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleProductGaphsMath.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleProductSetMath.FiniteCategories.Ens.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleRandomCompositionGraphMath.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleRandomSafeCompositionGraphMath.FiniteCategories.SafeCompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleRightAdjointMath.Functors.Adjunction.Examples, Math.Functors.Examples
exampleRightKanExtensionMath.Functors.KanExtension.Examples, Math.Functors.Examples
exampleSafeCompositionGraphMath.FiniteCategories.SafeCompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleScgStringMath.FiniteCategories.SafeCompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSetTransformedIntoACompositionGraphMath.FiniteCategories.CompositionGraph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSetValuedLeftKanExtensionMath.Functors.SetValued.Examples, Math.Functors.Examples
exampleSetValuedRightKanExtensionMath.Functors.SetValued.Examples, Math.Functors.Examples
exampleSigmaFunctorMath.Functors.DataMigration.Examples, Math.Functors.Examples
exampleSketchAtomicMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSketchGraphMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSketchLoopMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSketchMagmaMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSketchMorphismMagmaToUnitalMagmaMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSketchPointedSetMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSketchSAT1Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSketchSAT2Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSketchSAT3Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSketchSAT4Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSketchSAT5Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSketchSAT6Math.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSketchToRealizeMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSketchUnitalMagmaMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSliceMath.FiniteCategories.CommaCategory.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleSpotlightMath.FiniteCategories.FinSketch.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All
exampleYonedaEmbeddingOfHatMath.Functors.YonedaEmbedding.Examples, Math.Functors.Examples
exampleYonedaEmbeddingOfSquareMath.Functors.YonedaEmbedding.Examples, Math.Functors.Examples
ExponentialMath.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
ExponentialCategoryMorphismMath.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All
ExponentialCategoryObjectMath.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All
ExponentialElementMath.CartesianClosedCategory, Math.FiniteCategories.All
ExponentialElementMorphismMath.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All
ExponentialElementObjectMath.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All
exponentialObjectsMath.CartesianClosedCategory, Math.FiniteCategories.All
ExprojectedCategoryMath.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All
ExprojectedMorphismMath.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All
ExprojectedObjectMath.FiniteCategories.ExponentialCategory, Math.FiniteCategories, Math.FiniteCategories.All
ExprojectionMath.CartesianClosedCategory, Math.FiniteCategories.All