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 |
glueMorphisms | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
glueObjects | Math.FiniteCategories.CompositionGraph, 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 |