Index - S
| SafeCompositionGraph | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| safeCompositionGraph | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| safeCompositionGraphFromCompositionGraph | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| SCGMorphism | |
| 1 (Type/Class) | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| selectedArrow | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| selectObject | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| sigmaFunctor | Math.Functors.DataMigration, Math.Functors, Math.FiniteCategories.All |
| sliceCategory | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| source | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |
| sourceArrow | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| Square | |
| 1 (Type/Class) | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareA | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareAr | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareB | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareC | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareD | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareF | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareFH | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareG | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareGI | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareH | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareI | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareIdA | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareIdB | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareIdC | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareIdD | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| SquareOb | Math.FiniteCategories.Square, Math.FiniteCategories, Math.FiniteCategories.All |
| src | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| StarIdentity | |
| 1 (Type/Class) | Math.Categories.Galaxy, Math.Categories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.Categories.Galaxy, Math.Categories, Math.FiniteCategories.All |
| Subcategory | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| subcategory | Math.FiniteCategories.Subcategory, Math.FiniteCategories, Math.FiniteCategories.All |
| support | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| supportS | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |