data-category-0.4: Restricted categories

Index - U

unComData.Category.NaturalTransformation
uncurryData.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
unitObjectData.Category.Monoidal
universalElementData.Category.RepresentableFunctor
unMonoidMorphismData.Category.Monoid
unOpData.Category
unrepresentData.Category.RepresentableFunctor