data-category-0.7.1: Category theory

Index - A

ACubeData.Category.Cube
Add 
1 (Type/Class)Data.Category.Simplex
2 (Data Constructor)Data.Category.Simplex
3 (Type/Class)Data.Category.Cube
4 (Data Constructor)Data.Category.Cube
AdjArrow 
1 (Type/Class)Data.Category.Adjunction
2 (Data Constructor)Data.Category.Adjunction
Adjunction 
1 (Type/Class)Data.Category.Adjunction
2 (Data Constructor)Data.Category.Adjunction
adjunctionComonadData.Category.Monoidal
adjunctionComonadTData.Category.Monoidal
adjunctionCounitData.Category.Adjunction
adjunctionInitialPropData.Category.Adjunction
adjunctionMonadData.Category.Monoidal
adjunctionMonadTData.Category.Monoidal
adjunctionTerminalPropData.Category.Adjunction
adjunctionUnitData.Category.Adjunction
AlgData.Category.Dialg
AlgebraData.Category.Dialg
AnaData.Category.Dialg
Apply 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
applyData.Category.CartesianClosed
ArrData.Category.Enriched
associatorData.Category.Monoidal
associatorInvData.Category.Monoidal