Copyright | Guillaume Sabbagh 2022 |
---|---|
License | GPL-3 |
Maintainer | guillaumesabbagh@protonmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
A ConeCategory
can be a FiniteCategory
if the target category of the diagrams is finite.
Documentation
module Math.Categories.ConeCategory