Math.FiniteCategories.FinSketch.Examples

Examples of Sketches.

Documentation

exampleSketchMagma :: Sketch Text Text

The Sketch of the magma structure.

exampleSketchUnitalMagma :: Sketch Text Text

The Sketch of the unital magma structure. A unital magma is a magma with an identity.

exampleSketchMorphismMagmaToUnitalMagma :: SketchMorphism Text Text

The inclusion sketch morphism from the sketch of magmas to the sketch of unital magmas.

exampleSketchGraph :: Sketch Text Text

The sketch of graphs.

exampleSketchPointedSet :: Sketch Text Text

The sketch of pointed sets.

exampleSketchAtomic :: Sketch Text Text

A sketch with just one object and no (co)cone.

exampleDiagramOfSketches :: Diagram Hat HatAr HatOb (FinSketch Text Text) (SketchMorphism Text Text) (Sketch Text Text)

A diagram selecting exampleSketchAtomic, exampleSketchPointedSet and exampleSketchGraph so that its colimit is the sketch of graphs with a distinguished edge.

exampleSketchLoop :: Sketch Text Text

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)

A diagram selecting exampleSketchAtomic, exampleSketchPointedSet and exampleSketchLoop so that its colimit is the sketch of discrete systems.

exampleLantern :: Sketch Text Text

An example of Sketch containing a Lantern.

exampleSpotlight :: Sketch Text Text

An example of Sketch containing a Spotlight.

exampleCrescentMoon :: Sketch Text Text

An example of Sketch containing a CrescentMoon.

exampleColantern :: Sketch Text Text

An example of Sketch containing a Colantern.

exampleCospotlight :: Sketch Text Text

An example of Sketch containing a Cospotlight.

exampleCocrescentMoon :: Sketch Text Text

An example of Sketch containing a CocrescentMoon.

exampleNoCrescentMoon :: Sketch Text Text

An example of Sketch containing no CrescentMoon but in a tricky way.

exampleSketchToRealize :: Sketch Text Text

An example of Sketch to realize.

exampleSketchSAT1 :: Sketch Text Text

exampleSketchSAT2 :: Sketch Text Text

exampleSketchSAT3 :: Sketch Text Text

exampleSketchSAT4 :: Sketch Text Text

exampleSketchSAT5 :: Sketch Text Text

exampleSketchSAT6 :: Sketch Text Text