Index - O
| 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 |