| Copyright | Guillaume Sabbagh 2022 |
|---|---|
| License | GPL-3 |
| Maintainer | guillaumesabbagh@protonmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Math.FiniteCategories.DiscreteCategory.Examples
Description
Six examples of DiscreteCategory.
Categories 0 up to 5 .
Documentation
exampleDiscreteCategory0 :: DiscreteCategory Int Source #
An example of DiscreteCategory with 0 object.
exampleDiscreteCategory1 :: DiscreteCategory Int Source #
An example of DiscreteCategory with 1 object.
exampleDiscreteCategory2 :: DiscreteCategory Int Source #
An example of DiscreteCategory with 2 objects.
exampleDiscreteCategory3 :: DiscreteCategory Int Source #
An example of DiscreteCategory with 3 objects.
exampleDiscreteCategory4 :: DiscreteCategory Int Source #
An example of DiscreteCategory with 4 objects.
exampleDiscreteCategory5 :: DiscreteCategory Int Source #
An example of DiscreteCategory with 5 objects.