Math.FiniteCategories.ConeCategory.Examples

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

Documentation

exampleConeCategory :: ConeCategory V VAr VOb Square SquareAr SquareOb

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

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

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

exampleCoconeCategory :: CoconeCategory Hat HatAr HatOb Square SquareAr SquareOb

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

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

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