FiniteCategories-0.6.0.2: Finite categories and usual categorical constructions on them. (Index - H)

FiniteCategories-0.6.0.2: Finite categories and usual categorical constructions on them.

A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
Y
<
=
@
|
-
All

Index - H

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