| Copyright | Guillaume Sabbagh 2023 |
|---|---|
| License | GPL-3 |
| Maintainer | guillaumesabbagh@protonmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Math.FiniteCategories.CompositionGraph.Examples
Description
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.
Synopsis
- exampleCompositionGraph :: CompositionGraph Int Char
- exampleCompositionGraph2 :: CompositionGraph Int Char
- exampleSetTransformedIntoACompositionGraph :: Diagram (Ens Char) (Function Char) (Set Char) (CompositionGraph (Set Char) (Function Char)) (CGMorphism (Set Char) (Function Char)) (Set Char)
- example4TransformedIntoACompositionGraph :: Diagram NumberCategory NumberCategoryMorphism NumberCategoryObject (CompositionGraph NumberCategoryObject NumberCategoryMorphism) (CGMorphism NumberCategoryObject NumberCategoryMorphism) NumberCategoryObject
- exampleRandomCompositionGraph :: CompositionGraph Int Int
- exampleCgString :: CompositionGraph Text Text
- exampleCgString2 :: CompositionGraph Text Text
- exampleDiagramToCompositionGraphs :: Diagram Hat HatAr HatOb (FinCat (CompositionGraph Text Text) (CGMorphism Text Text) Text) (FinFunctor (CompositionGraph Text Text) (CGMorphism Text Text) Text) (CompositionGraph Text Text)
- 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))
Documentation
exampleCompositionGraph :: CompositionGraph Int Char Source #
An example of CompositionGraph constructed with the smart constructor compositionGraph.
exampleCompositionGraph2 :: CompositionGraph Int Char Source #
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) Source #
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 Source #
The insertion diagram from 4 to the same category transformed into a CompositionGraph.
exampleRandomCompositionGraph :: CompositionGraph Int Int Source #
An example of random CompositionGraph.
exampleCgString :: CompositionGraph Text Text Source #
An example of CompositionGraph read from a .cg string.
exampleCgString2 :: CompositionGraph Text Text Source #
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) Source #
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)) Source #
An example of colimit of CompositionGraphs.