data-category-0.2.0: Restricted categories

Index - O

oData.Category.NaturalTransformation
ObjData.Category, Data.Category.Functor, Data.Category.NaturalTransformation
ObjectsFOverData.Category.Comma
ObjectsFUnderData.Category.Comma
ObjectsOverData.Category.Comma
ObjectsUnderData.Category.Comma
OmegaData.Category.Omega
Op 
1 (Type/Class)Data.Category
2 (Data Constructor)Data.Category
OpObjData.Category, Data.Category.Functor, Data.Category.NaturalTransformation
Opposite 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
OS 
1 (Data Constructor)Data.Category.Discrete
2 (Data Constructor)Data.Category.Omega
outFData.Category.Dialg
OZ 
1 (Data Constructor)Data.Category.Discrete
2 (Data Constructor)Data.Category.Omega