| I | UsualCategories.Square |
| IdA | |
| 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 |
| IdB | |
| 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 |
| IdC | |
| 1 (Data Constructor) | UsualCategories.V |
| 2 (Data Constructor) | UsualCategories.Three |
| 3 (Data Constructor) | UsualCategories.Square |
| 4 (Data Constructor) | UsualCategories.Hat |
| IdD | UsualCategories.Square |
| IdentifyGenerator | CompositionGraph.CompositionGraph |
| identifyMorphisms | CompositionGraph.CompositionGraph |
| identifyMorphismsS | CompositionGraph.SafeCompositionGraph |
| identities | FiniteCategory.FiniteCategory |
| Identity | IO.Parsers.Lexer |
| identity | FiniteCategory.FiniteCategory |
| IdentityNotLeftNeutral | FiniteCategory.FiniteCategory |
| IdentityNotRightNeutral | FiniteCategory.FiniteCategory |
| idL | FiniteCategory.FiniteCategory |
| idR | FiniteCategory.FiniteCategory |
| idRof | FiniteCategory.FiniteCategory |
| includedIn | Set.FinSet |
| inclusionFunctor | ConeCategory.LeftCone |
| indexAr1 | CommaCategory.CommaCategory |
| indexAr2 | CommaCategory.CommaCategory |
| indexSrc | CommaCategory.CommaCategory |
| indexTgt | CommaCategory.CommaCategory |
| initialObjects | FiniteCategory.FiniteCategory, ConeCategory.ConeCategory |
| insertMorphism | CompositionGraph.CompositionGraph |
| InsertMorphismNonExistantSource | CompositionGraph.CompositionGraph |
| InsertMorphismNonExistantTarget | CompositionGraph.CompositionGraph |
| insertMorphismS | CompositionGraph.SafeCompositionGraph |
| insertObject | CompositionGraph.CompositionGraph |
| insertObjectS | CompositionGraph.SafeCompositionGraph |
| intersection | Set.FinSet |
| inverse | Utils.AssociationList |
| isComp | CompositionGraph.CompositionGraph |
| isComposite | FiniteCategory.FiniteCategory |
| isCompS | CompositionGraph.SafeCompositionGraph |
| isGen | CompositionGraph.CompositionGraph |
| isGenerator | FiniteCategory.FiniteCategory |
| isGenS | CompositionGraph.SafeCompositionGraph |
| isIdentity | FiniteCategory.FiniteCategory |
| isIn | Set.FinSet |
| isIncludedIn | Utils.SetList |
| isInitial | FiniteCategory.FiniteCategory |
| isNotIdentity | FiniteCategory.FiniteCategory |
| isTerminal | FiniteCategory.FiniteCategory |