Index - E
| eilenbergMooreAdj | Data.Category.Dialg |
| Endo | Data.Category.NaturalTransformation |
| ExpFunctor | |
| 1 (Type/Class) | Data.Category.CartesianClosed |
| 2 (Data Constructor) | Data.Category.CartesianClosed |
| Exponential | Data.Category.CartesianClosed |
data-category-0.5.0: Category theory