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

Math.FiniteCategories.ConeCategory.Examples

Description

Examples of ConeCategory and example of (co)limits computation.

Synopsis

Documentation

exampleConeCategory :: ConeCategory V VAr VOb Square SquareAr SquareOb Source #

Example of ConeCategory. Here, there are no cone as FH is different from GI.

exampleLimit :: Set (Cone V VAr VOb Square SquareAr SquareOb) Source #

Example of limit computation. Here, there are no limit as FH is different from GI.

exampleCoconeCategory :: CoconeCategory Hat HatAr HatOb Square SquareAr SquareOb Source #

Example of CoconeCategory. Here, there are no cocone as FH is different from GI.

exampleColimit :: Set (Cocone Hat HatAr HatOb Square SquareAr SquareOb) Source #

Example of colimit computation. Here, there are no colimit as FH is different from GI.