main | |
1 (Function) | Math.Functors.DiagonalFunctor.Example |
2 (Function) | Math.Functors.Adjunction.Example |
3 (Function) | Math.FiniteCategories.V.Example |
4 (Function) | Math.FiniteCategories.Square.Example |
5 (Function) | Math.FiniteCategories.Parallel.Example |
6 (Function) | Math.FiniteCategories.One.Example |
7 (Function) | Math.FiniteCategories.NumberCategory.Example |
8 (Function) | Math.FiniteCategories.Hat.Example |
9 (Function) | Math.FiniteCategories.DiscreteCategory.Example |
10 (Function) | Math.FiniteCategories.ConeCategory.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 |