Index
| &&& | Product |
| *** | Product |
| . | Category |
| :.: | Functor |
| :><: | |
| 1 (Type/Class) | Category.Product |
| 2 (Data Constructor) | Category.Product |
| <> | Monoidal |
| >< | Product |
| CanonicalF | |
| 1 (Type/Class) | Functor |
| 2 (Data Constructor) | Functor |
| Category | Category |
| Codomain | Functor |
| Comp | Functor |
| CompFF | |
| 1 (Type/Class) | NaturalTransformation |
| 2 (Data Constructor) | NaturalTransformation |
| compNat | NaturalTransformation |
| Diag | |
| 1 (Type/Class) | Category.Product |
| 2 (Data Constructor) | Category.Product |
| Domain | Functor |
| FMap | Functor |
| fmap | Functor |
| Functor | Functor |
| I | Monoidal |
| id | Category |
| IdentityF | |
| 1 (Type/Class) | Functor |
| 2 (Data Constructor) | Functor |
| L | Category.Product |
| Monoidal | Monoidal |
| morphMap | Functor |
| Mu | Monoidal |
| NatTr | |
| 1 (Type/Class) | NaturalTransformation |
| 2 (Data Constructor) | NaturalTransformation |
| Object | Category |
| objectMap | Functor |
| observeObjects | Category |
| ProductCategory | Product |
| ProductF | |
| 1 (Type/Class) | Product |
| 2 (Data Constructor) | Product |
| productObjectMap | Product |
| proj1 | Product |
| proj2 | Product |
| R | Category.Product |
| T | Terminal |
| term | Terminal |
| Terminal | Terminal |
| terminalFactorization | TerminalMorphism |
| TerminalMorphism | TerminalMorphism |
| terminalMorphism | TerminalMorphism |
| univProduct | Product |