Index - F
| F2T | Data.Category.Boolean |
| falseCoproductComonoid | Data.Category.Boolean |
| falseCoproductMonoid | Data.Category.Boolean |
| falseProductComonoid | Data.Category.Boolean |
| Fin | Data.Category.Simplex |
| Fix | |
| 1 (Type/Class) | Data.Category.Fix |
| 2 (Data Constructor) | Data.Category.Fix |
| 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 |
| 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 |
| fromYoneda | Data.Category.Yoneda |
| Fs | Data.Category.Simplex |
| Functor | Data.Category.Functor |
| FunctorCompose | |
| 1 (Type/Class) | Data.Category.NaturalTransformation |
| 2 (Data Constructor) | Data.Category.NaturalTransformation |
| Fz | Data.Category.Simplex |