Copyright | Guillaume Sabbagh 2022 |
---|---|
License | GPL-3 |
Maintainer | guillaumesabbagh@protonmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
A discrete category is a full subcategory of Galaxy
.
Synopsis
- type DiscreteMorphism a = StarIdentity a
- type DiscreteCategory a = FullSubcategory (Galaxy a) (StarIdentity a) a
- discreteCategory :: Set a -> DiscreteCategory a
Documentation
type DiscreteMorphism a = StarIdentity a Source #
A discrete morphism.
type DiscreteCategory a = FullSubcategory (Galaxy a) (StarIdentity a) a Source #
A discrete category is a full subcategory of Galaxy
.
discreteCategory :: Set a -> DiscreteCategory a Source #
Return the DiscreteCategory
containing a set of objects.