Copyright | Guillaume Sabbagh 2022 |
---|---|
License | GPL-3 |
Maintainer | guillaumesabbagh@protonmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Math.FiniteCategories.Square
Description
The Square
category contains 4 generating arrows forming a square. It has 6 non identity arrows.
Documentation
Objects of the Square
category.
Morphisms of the Square
category.
Constructors
SquareIdA | |
SquareIdB | |
SquareIdC | |
SquareIdD | |
SquareF | |
SquareG | |
SquareH | |
SquareI | |
SquareFH | |
SquareGI |