data-category-0.10: Category theory

Index - O

oData.Category.NaturalTransformation
ObjData.Category
ObjectsFOverData.Category.Comma
ObjectsFUnderData.Category.Comma
ObjectsOverData.Category.Comma
ObjectsUnderData.Category.Comma
OmegaData.Category.Fix
One 
1 (Data Constructor)Data.Category.Enriched
2 (Type/Class)Data.Category.Enriched
Op 
1 (Type/Class)Data.Category
2 (Data Constructor)Data.Category
OpOp 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
OpOpInv 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
Opposite 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
3 (Type/Class)Data.Category.Enriched
4 (Data Constructor)Data.Category.Enriched