Math.FiniteCategories.CompositionGraph.Examples

Examples of CompositionGraphs, other categories transformed into CompositionGraphs, a random example of CompositionGraph, a CompositionGraph created from a string and a colimit of CompositionGraphs.

See also exampleCgdString in Math.FiniteCategories.FunctorCategory.Examples for constructing diagrams of CompositionGraphs.

Documentation

exampleCompositionGraph :: CompositionGraph Int Char

An example of CompositionGraph constructed with the smart constructor compositionGraph.

exampleCompositionGraph2 :: CompositionGraph Int Char

An example of CompositionGraph constructed with the smart constructor unsafeCompositionGraph.

exampleSetTransformedIntoACompositionGraph :: Diagram (Ens Char) (Function Char) (Set Char) (CompositionGraph (Set Char) (Function Char)) (CGMorphism (Set Char) (Function Char)) (Set Char)

The insertion diagram from S (the subcategory of Set containing all subsets of the set {A,B} as objects) to the same category transformed into a CompositionGraph.

example4TransformedIntoACompositionGraph :: Diagram NumberCategory NumberCategoryMorphism NumberCategoryObject (CompositionGraph NumberCategoryObject NumberCategoryMorphism) (CGMorphism NumberCategoryObject NumberCategoryMorphism) NumberCategoryObject

The insertion diagram from 4 to the same category transformed into a CompositionGraph.

exampleRandomCompositionGraph :: CompositionGraph Int Int

An example of random CompositionGraph.

exampleCgString :: CompositionGraph Text Text

An example of CompositionGraph read from a .cg string.

exampleCgString2 :: CompositionGraph Text Text

A second example of CompositionGraph read from a .cg string.

exampleDiagramToCompositionGraphs :: Diagram Hat HatAr HatOb (FinCat (CompositionGraph Text Text) (CGMorphism Text Text) Text) (FinFunctor (CompositionGraph Text Text) (CGMorphism Text Text) Text) (CompositionGraph Text Text)

An example of Diagram from Hat to FinCat of CompositionGraphs.

exampleColimitOfCompositionGraphs :: Cocone Hat HatAr HatOb (FinCat (CompositionGraph (Colimit HatOb Text) (Colimit HatOb Text)) (CGMorphism (Colimit HatOb Text) (Colimit HatOb Text)) (Colimit HatOb Text)) (FinFunctor (CompositionGraph (Colimit HatOb Text) (Colimit HatOb Text)) (CGMorphism (Colimit HatOb Text) (Colimit HatOb Text)) (Colimit HatOb Text)) (CompositionGraph (Colimit HatOb Text) (Colimit HatOb Text))

An example of colimit of CompositionGraphs.