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