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 |