data-category-0.11: Category theory

Index - F

F2TData.Category.Boolean
falseCoproductComonoidData.Category.Boolean
falseCoproductMonoidData.Category.Boolean
falseProductComonoidData.Category.Boolean
FArrData.Category.Enriched.Limit
Fin 
1 (Type/Class)Data.Category.Simplex
2 (Type/Class)Data.Category.Fin
Fix 
1 (Type/Class)Data.Category.Fix
2 (Data Constructor)Data.Category.Fix
flipData.Category.CartesianClosed
Floor 
1 (Type/Class)Data.Category.Preorder
2 (Data Constructor)Data.Category.Preorder
floorGaloisConnectionData.Category.Preorder
Fls 
1 (Data Constructor)Data.Category.Boolean
2 (Type/Class)Data.Category.Boolean
Forget 
1 (Type/Class)Data.Category.Simplex
2 (Data Constructor)Data.Category.Simplex
3 (Type/Class)Data.Category.Cube
4 (Data Constructor)Data.Category.Cube
ForgetAlg 
1 (Type/Class)Data.Category.Dialg
2 (Data Constructor)Data.Category.Dialg
FreeAlg 
1 (Type/Class)Data.Category.Dialg
2 (Data Constructor)Data.Category.Dialg
freeAlgData.Category.Dialg
FromInteger 
1 (Type/Class)Data.Category.Preorder
2 (Data Constructor)Data.Category.Preorder
fromSelfData.Category.Enriched
fromYonedaData.Category.Yoneda
FSData.Category.Fin
FsData.Category.Simplex
FunCatData.Category.Enriched.Limit
FunctorData.Category.Functor
FunctorCompose 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
FunctorOfData.Category.Functor
FZData.Category.Fin
FzData.Category.Simplex