Math.FiniteCategories.FunctorCategory.Examples

Examples of FunctorCategory. Examples of Diagrams.

Documentation

exampleFunctorCategory :: FunctorCategory NumberCategory NumberCategoryMorphism NumberCategoryObject NumberCategory NumberCategoryMorphism NumberCategoryObject

The FunctorCategory 3^2.

exampleDiagramVToSquare :: Diagram V VAr VOb Square SquareAr SquareOb

Example of a Diagram from V to Square.

exampleDiagramHatToSquare :: Diagram Hat HatAr HatOb Square SquareAr SquareOb

Example of a Diagram from Hat to Square.

examplePrecomposedFunctorCategory :: PrecomposedFunctorCategory V VAr VOb Square SquareAr SquareOb Square SquareAr SquareOb

Example of a PrecomposedFunctorCategory.

examplePostcomposedFunctorCategory :: PostcomposedFunctorCategory Square SquareAr SquareOb V VAr VOb Square SquareAr SquareOb

Example of a PostcomposedFunctorCategory.

exampleCgdString :: Diagram (CompositionGraph Text Text) (CGMorphism Text Text) Text (CompositionGraph Text Text) (CGMorphism Text Text) Text

Example of a Diagram of CompositionGraphs constructed by reading a .cgd string.