Copyright | Guillaume Sabbagh 2023 |
---|---|
License | GPL-3 |
Maintainer | guillaumesabbagh@protonmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Examples of Sketch
es.
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 #