Copyright | Guillaume Sabbagh 2022 |
---|---|
License | GPL-3 |
Maintainer | guillaumesabbagh@protonmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Examples of ConeCategory
and example of (co)limits computation.
Documentation
exampleConeCategory :: ConeCategory V VAr VOb Square SquareAr SquareOb Source #
Example of ConeCategory
. Here, there are no cone 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
.