| Copyright | Guillaume Sabbagh 2021 |
|---|---|
| License | GPL-3 |
| Maintainer | guillaumesabbagh@protonmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Subcategories.FreeSubcategory
Description
Free subcategory generated by a subset of morphisms of a category C.
Synopsis
- data FreeSubcategory c m o = FreeSubcategory c [m]
Documentation
data FreeSubcategory c m o Source #
The free subcategory generated by a subset of morphisms of a category C.
Constructors
| FreeSubcategory c [m] |
Instances
| (FiniteCategory c m o, Morphism m o, Eq m, Eq o) => GeneratedFiniteCategory (FreeSubcategory c m o) m o Source # | |
Defined in Subcategories.FreeSubcategory Methods genAr :: FreeSubcategory c m o -> o -> o -> [m] Source # decompose :: FreeSubcategory c m o -> m -> [m] Source # genArrows :: FreeSubcategory c m o -> [m] Source # | |
| (FiniteCategory c m o, Morphism m o, Eq m, Eq o) => FiniteCategory (FreeSubcategory c m o) m o Source # | |
Defined in Subcategories.FreeSubcategory Methods ob :: FreeSubcategory c m o -> [o] Source # identity :: FreeSubcategory c m o -> o -> m Source # ar :: FreeSubcategory c m o -> o -> o -> [m] Source # arrows :: FreeSubcategory c m o -> [m] Source # | |