ob | Math.FiniteCategory, Math.FiniteCategories.All |
omap | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
Omega | Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All |
omega | Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All |
One | |
1 (Type/Class) | Math.FiniteCategories.One, Math.FiniteCategories, Math.FiniteCategories.All |
2 (Data Constructor) | Math.FiniteCategories.One, Math.FiniteCategories, Math.FiniteCategories.All |
Op | |
1 (Type/Class) | Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
2 (Data Constructor) | Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
OpMorphism | |
1 (Type/Class) | Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
2 (Data Constructor) | Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
opOp | Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
opOpMorphism | Math.Categories.Opposite, Math.FiniteCategories.Opposite, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
OrdinalCategory | |
1 (Type/Class) | Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All |
2 (Data Constructor) | Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.Categories, Math.FiniteCategories.All |
originalCategory | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
originalCategory2 | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |