Index - I
| identities | Math.FiniteCategory, Math.FiniteCategories.All |
| identity | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| indentation | Math.IO.PrettyPrint, Math.FiniteCategories.All |
| indexFirstArrow | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| indexingCategoryCocone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| indexingCategoryCone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| indexSecondArrow | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| indexSource | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| indexTarget | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| InheritedFullSubcategory | |
| 1 (Type/Class) | Math.FiniteCategories.FullSubcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.FiniteCategories.FullSubcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| InheritedSubcategory | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| inheritedSubcategory | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| initialObjects | Math.FiniteCategory, Math.FiniteCategories.All |
| insertionDiscreteTwoInDiscreteCategory | Math.FiniteCategories.DiscreteTwo, Math.FiniteCategories, Math.FiniteCategories.All |
| insertionFunctor1 | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| insertionFunctor2 | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| internalCodomain | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| internalDomain | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| internalHom | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| inverseDiagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| isCandidateExponentialObject | Math.CartesianClosedCategory, Math.FiniteCategories.All |
| isComposite | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| isEpic | Math.FiniteCategory, Math.FiniteCategories.All |
| isGenerator | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| isIdentity | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| isInitial | Math.FiniteCategory, Math.FiniteCategories.All |
| isIso | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| isMonic | Math.FiniteCategory, Math.FiniteCategories.All |
| isNotIdentity | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| isRetraction | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| isSection | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| IsSmallerThan | |
| 1 (Type/Class) | Math.Categories.TotalOrder, Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.FiniteCategories.NumberCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.Categories.TotalOrder, Math.Categories.OrdinalCategory, Math.Categories.Omega, Math.FiniteCategories.NumberCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| isTerminal | Math.FiniteCategory, Math.FiniteCategories.All |