Index - C
| 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 |