Copyright | Guillaume Sabbagh 2022 |
---|---|
License | GPL-3 |
Maintainer | guillaumesabbagh@protonmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
The Parallel
category contains two objects A
and B
and two morphisms
and F
: A
-> B
.G
: A
-> B
Synopsis
- data ParallelOb
- data ParallelAr
- data Parallel = Parallel
Documentation
data ParallelOb Source #
Objects of the Parallel
category.
Instances
data ParallelAr Source #
Morphisms of the Parallel
category.
Instances
The Parallel
category.
Instances
PrettyPrint Parallel Source # | |
Defined in Math.FiniteCategories.Parallel | |
Show Parallel Source # | |
Eq Parallel Source # | |
Category Parallel ParallelAr ParallelOb Source # | |
Defined in Math.FiniteCategories.Parallel identity :: Parallel -> ParallelOb -> ParallelAr Source # ar :: Parallel -> ParallelOb -> ParallelOb -> Set ParallelAr Source # genAr :: Parallel -> ParallelOb -> ParallelOb -> Set ParallelAr Source # decompose :: Parallel -> ParallelAr -> [ParallelAr] Source # | |
FiniteCategory Parallel ParallelAr ParallelOb Source # | |
Defined in Math.FiniteCategories.Parallel |