Index - A
| A | |
| 1 (Data Constructor) | UsualCategories.V |
| 2 (Data Constructor) | UsualCategories.Two |
| 3 (Data Constructor) | UsualCategories.Three |
| 4 (Data Constructor) | UsualCategories.Square |
| 5 (Data Constructor) | UsualCategories.Parallel |
| 6 (Data Constructor) | UsualCategories.Hat |
| apex | ConeCategory.ConeCategory |
| ar | FiniteCategory.FiniteCategory |
| arFrom | FiniteCategory.FiniteCategory |
| arFrom2 | FiniteCategory.FiniteCategory |
| Arrow | CompositionGraph.CompositionGraph |
| arrow | CommaCategory.CommaCategory |
| ArrowBetweenUnknownObjects | FiniteCategory.FiniteCategory |
| arrows | FiniteCategory.FiniteCategory |
| ArrowsNotExhaustive | FiniteCategory.FiniteCategory |
| arrowsNotMapped | Cat.PartialFinCat |
| arrowsNotMappedTo | Cat.PartialFinCat |
| arTo | FiniteCategory.FiniteCategory |
| arTo2 | FiniteCategory.FiniteCategory |
| AssociationList | Utils.AssociationList |
| assocListToFunct | Utils.AssociationList |