| Copyright | Guillaume Sabbagh 2022 |
|---|---|
| License | GPL-3 |
| Maintainer | guillaumesabbagh@protonmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Math.FiniteCategories.DiscreteCategory
Description
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.