HasCoequalizers | Math.CocompleteCategory, Math.FiniteCategories.All |
HasCoproducts | Math.CocompleteCategory, Math.FiniteCategories.All |
HasEqualizers | Math.CompleteCategory, Math.FiniteCategories.All |
HasProducts | Math.CompleteCategory, Math.FiniteCategories.All |
Hat | |
1 (Type/Class) | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
2 (Data Constructor) | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
HatA | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
HatAr | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
HatB | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
HatC | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
HatF | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
HatG | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
HatIdA | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
HatIdB | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
HatIdC | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
HatOb | Math.FiniteCategories.Hat, Math.FiniteCategories, Math.FiniteCategories.All |
horizontalComposition | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |