Copyright | Guillaume Sabbagh 2023 |
---|---|
License | GPL-3 |
Maintainer | guillaumesabbagh@protonmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Examples of CompositionGraph
s, other categories transformed into CompositionGraph
s, a random example of CompositionGraph
, a CompositionGraph
created from a string and a colimit of CompositionGraph
s.
See also exampleCgdString
in Math.FiniteCategories.FunctorCategory.Examples for constructing diagrams of CompositionGraph
s.
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 CompositionGraph
s.
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 CompositionGraph
s.