Index - U
| unCom | Data.Category.NaturalTransformation |
| uncurry | Data.Category.CartesianClosed |
| Unit | |
| 1 (Type/Class) | Data.Category.Discrete |
| 2 (Type/Class) | Data.Category.Monoidal |
| unit | |
| 1 (Function) | Data.Category.Adjunction |
| 2 (Function) | Data.Category.Monoidal |
| unitObject | Data.Category.Monoidal |
| universalElement | Data.Category.RepresentableFunctor |
| unOp | Data.Category |
| unrepresent | Data.Category.RepresentableFunctor |