Index - A
| A | Math.FiniteCategories.DiscreteTwo, Math.FiniteCategories, Math.FiniteCategories.All | 
| apex | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| ar | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All | 
| areIsomorphic | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All | 
| arFrom | Math.FiniteCategory, Math.FiniteCategories.All | 
| arFrom2 | Math.FiniteCategory, Math.FiniteCategories.All | 
| arFrom2WithoutId | Math.FiniteCategory, Math.FiniteCategories.All | 
| arFromWithoutId | Math.FiniteCategory, Math.FiniteCategories.All | 
| Arrow | |
| 1 (Type/Class) | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All | 
| 2 (Data Constructor) | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All | 
| arrowCategory | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| arrows | Math.FiniteCategory, Math.FiniteCategories.All | 
| ArrowSketch | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All | 
| arrowsWithoutId | Math.FiniteCategory, Math.FiniteCategories.All | 
| arrowToCGMorphism | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All | 
| arTo | Math.FiniteCategory, Math.FiniteCategories.All | 
| arTo2 | Math.FiniteCategory, Math.FiniteCategories.All | 
| arTo2WithoutId | Math.FiniteCategory, Math.FiniteCategories.All | 
| arToWithoutId | Math.FiniteCategory, Math.FiniteCategories.All | 
| arWithoutId | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |