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 |
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 |
bruteForceDecompose | Math.FiniteCategory, Math.FiniteCategories.All |