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

Math.Functors.KanExtension.Examples

Description

Examples of Kan extensions.

Synopsis

Documentation

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

An example of left Kan Extension which computes the sum (disjunction) of two booleans variables.

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

An example of right Kan Extension which computes the product (conjonction) of two booleans variables.