| Copyright | Guillaume Sabbagh 2023 |
|---|---|
| License | GPL-3 |
| Maintainer | guillaumesabbagh@protonmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Math.FiniteCategories.FinSketch.Examples
Description
Examples of Sketches.
Synopsis
- exampleSketchMagma :: Sketch Text Text
- exampleSketchUnitalMagma :: Sketch Text Text
- exampleSketchMorphismMagmaToUnitalMagma :: SketchMorphism Text Text
- exampleSketchGraph :: Sketch Text Text
- exampleSketchPointedSet :: Sketch Text Text
- exampleSketchAtomic :: Sketch Text Text
- exampleDiagramOfSketches :: Diagram Hat HatAr HatOb (FinSketch Text Text) (SketchMorphism Text Text) (Sketch Text Text)
- exampleSketchLoop :: Sketch Text Text
- exampleDiagramOfSketches2 :: Diagram Hat HatAr HatOb (FinSketch Text Text) (SketchMorphism Text Text) (Sketch Text Text)
- exampleLantern :: Sketch Text Text
- exampleSpotlight :: Sketch Text Text
- exampleCrescentMoon :: Sketch Text Text
- exampleColantern :: Sketch Text Text
- exampleCospotlight :: Sketch Text Text
- exampleCocrescentMoon :: Sketch Text Text
- exampleNoCrescentMoon :: Sketch Text Text
- exampleSketchToRealize :: Sketch Text Text
- exampleSketchSAT1 :: Sketch Text Text
- exampleSketchSAT2 :: Sketch Text Text
- exampleSketchSAT3 :: Sketch Text Text
- exampleSketchSAT4 :: Sketch Text Text
- exampleSketchSAT5 :: Sketch Text Text
- exampleSketchSAT6 :: Sketch Text Text
Documentation
exampleSketchMagma :: Sketch Text Text Source #
The Sketch of the magma structure.
exampleSketchUnitalMagma :: Sketch Text Text Source #
The Sketch of the unital magma structure. A unital magma is a magma with an identity.
exampleSketchMorphismMagmaToUnitalMagma :: SketchMorphism Text Text Source #
The inclusion sketch morphism from the sketch of magmas to the sketch of unital magmas.
exampleSketchGraph :: Sketch Text Text Source #
The sketch of graphs.
exampleSketchPointedSet :: Sketch Text Text Source #
The sketch of pointed sets.
exampleSketchAtomic :: Sketch Text Text Source #
A sketch with just one object and no (co)cone.
exampleDiagramOfSketches :: Diagram Hat HatAr HatOb (FinSketch Text Text) (SketchMorphism Text Text) (Sketch Text Text) Source #
A diagram selecting exampleSketchAtomic, exampleSketchPointedSet and exampleSketchGraph so that its colimit is the sketch of graphs with a distinguished edge.
exampleSketchLoop :: Sketch Text Text Source #
A sketch with a single object and a loop. This sketch is infinite because of the loop.
exampleDiagramOfSketches2 :: Diagram Hat HatAr HatOb (FinSketch Text Text) (SketchMorphism Text Text) (Sketch Text Text) Source #
A diagram selecting exampleSketchAtomic, exampleSketchPointedSet and exampleSketchLoop so that its colimit is the sketch of discrete systems.
exampleCrescentMoon :: Sketch Text Text Source #
An example of Sketch containing a CrescentMoon.
exampleCospotlight :: Sketch Text Text Source #
An example of Sketch containing a Cospotlight.
exampleCocrescentMoon :: Sketch Text Text Source #
An example of Sketch containing a CocrescentMoon.
exampleNoCrescentMoon :: Sketch Text Text Source #
An example of Sketch containing no CrescentMoon but in a tricky way.
exampleSketchToRealize :: Sketch Text Text Source #
An example of Sketch to realize.
exampleSketchSAT1 :: Sketch Text Text Source #
exampleSketchSAT2 :: Sketch Text Text Source #
exampleSketchSAT3 :: Sketch Text Text Source #
exampleSketchSAT4 :: Sketch Text Text Source #
exampleSketchSAT5 :: Sketch Text Text Source #
exampleSketchSAT6 :: Sketch Text Text Source #