ob | FiniteCategory.FiniteCategory |
objectImage | Diagram.Diagram |
objectsNotMapped | Cat.PartialFinCat |
objectsNotMappedTo | Cat.PartialFinCat |
ObjectsNotUnique | FiniteCategory.FiniteCategory |
omap | Diagram.Diagram |
omapF | Cat.FinCat |
omapPF | Cat.PartialFinCat |
One | |
1 (Type/Class) | UsualCategories.One |
2 (Data Constructor) | UsualCategories.One |
Op | OppositeCategory.OppositeCategory |
OpMorph | OppositeCategory.OppositeCategory |
opOp | OppositeCategory.OppositeCategory |
opOpMorph | OppositeCategory.OppositeCategory |
OppositeCategory | OppositeCategory.OppositeCategory |
OppositeMorphism | OppositeCategory.OppositeCategory |