FiniteCategories-0.6.5.1: Finite categories and usual categorical constructions on them.
CopyrightGuillaume Sabbagh 2022
LicenseGPL-3
Maintainerguillaumesabbagh@protonmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Math.FiniteCategories.FunctorCategory.Examples

Description

Examples of FunctorCategory. Examples of Diagrams.

Synopsis

Documentation

exampleCgdString :: Diagram (CompositionGraph Text Text) (CGMorphism Text Text) Text (CompositionGraph Text Text) (CGMorphism Text Text) Text Source #

Example of a Diagram of CompositionGraphs constructed by reading a .cgd string.