FiniteCategories-0.2.0.0: Finite categories and usual categorical constructions on them.
CopyrightGuillaume Sabbagh 2023
LicenseGPL-3
Maintainerguillaumesabbagh@protonmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Math.Functors.KanExtension.Example

Description

Examples of Kan extensions exported with GraphViz.

Export extensions in the directory "OutputGraphViz/Examples/Functor/KanExtension".

Synopsis

Documentation

main :: IO () Source #

Examples of Kan extensions exported with GraphViz.