Math.FiniteCategories.FinGrph.Examples

An example of FullSubcategory of FinGrph and an example of Graph.

Documentation

divisibilityGraph :: Int -> Graph Int Int

Return the divisibility graph of number lesser or equal than a given n.

exampleGraph :: Graph Int Int

Example of graph : divisibility graph of numbers lesser or equal than 10.

exampleFinGrph :: FullSubcategory (FinGrph Int Int) (GraphHomomorphism Int Int) (Graph Int Int)

Example of a FullSubcategory of FinGrph.

exampleDiscreteDiagramToFinGrph :: Diagram (DiscreteCategory Int) (DiscreteMorphism Int) Int (FinGrph Text Text) (GraphHomomorphism Text Text) (Graph Text Text)

Example of a discrete diagram selecting two graphs.

exampleProductGaphs :: Cone (DiscreteCategory Int) (DiscreteMorphism Int) Int (FinGrph (Limit Int Text) (Limit Int Text)) (GraphHomomorphism (Limit Int Text) (Limit Int Text)) (Graph (Limit Int Text) (Limit Int Text))

Product of exampleDiscreteDiagramToFinGrph.

exampleParallelDiagramToFinGrph :: Diagram Parallel ParallelAr ParallelOb (FinGrph Char Char) (GraphHomomorphism Char Char) (Graph Char Char)

Example of a parallel diagram selecting two graphs.

exampleEqualizerInFinGrph :: Cone Parallel ParallelAr ParallelOb (FinGrph (Limit ParallelOb Char) (Limit ParallelOb Char)) (GraphHomomorphism (Limit ParallelOb Char) (Limit ParallelOb Char)) (Graph (Limit ParallelOb Char) (Limit ParallelOb Char))

Limit of exampleParallelDiagramToFinGrph.

exampleDiagramHatToFinGrph :: Diagram Hat HatAr HatOb (FinGrph Char Char) (GraphHomomorphism Char Char) (Graph Char Char)

Example of a Diagram from Hat to FinGrph.

exampleColimitOfGraphs :: Cocone Hat HatAr HatOb (FinGrph (Colimit HatOb Char) (Colimit HatOb Char)) (GraphHomomorphism (Colimit HatOb Char) (Colimit HatOb Char)) (Graph (Colimit HatOb Char) (Colimit HatOb Char))

Example of a colimit of graphs.