| main | |
| 1 (Function) | Math.FiniteCategories.V.Example |
| 2 (Function) | Math.FiniteCategories.Square.Example |
| 3 (Function) | Math.FiniteCategories.Parallel.Example |
| 4 (Function) | Math.FiniteCategories.One.Example |
| 5 (Function) | Math.FiniteCategories.Hat.Example |
| 6 (Function) | Math.FiniteCategories.DiscreteCategory.Example |
| 7 (Function) | Math.Functors.DiagonalFunctor.Example |
| 8 (Function) | Math.FiniteCategories.ConeCategory.Example |
| 9 (Function) | Math.FiniteCategories.NumberCategory.Example |
| 10 (Function) | Math.Functors.Adjunction.Example |
| 11 (Function) | Math.Functors.SetValued.Example |
| 12 (Function) | Math.Functors.KanExtension.Example |
| 13 (Function) | Math.Functors.DataMigration.Example |
| 14 (Function) | Math.FiniteCategories.Ens.Example |
| 15 (Function) | Math.Functors.YonedaEmbedding.Example |
| 16 (Function) | Math.Functors.Examples |
| 17 (Function) | Math.FiniteCategories.SafeCompositionGraph.Example |
| 18 (Function) | Math.FiniteCategories.Opposite.Example |
| 19 (Function) | Math.FiniteCategories.FunctorCategory.Example |
| 20 (Function) | Math.FiniteCategories.FinGrph.Example |
| 21 (Function) | Math.FiniteCategories.FinCat.Example |
| 22 (Function) | Math.FiniteCategories.CompositionGraph.Example |
| 23 (Function) | Math.FiniteCategories.CommaCategory.Example |
| 24 (Function) | Math.FiniteCategories.Examples |
| maxCycles | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| maxNbCycles | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| mmap | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| Morphism | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All |