FiniteCategories-0.6.4.0: Finite categories and usual categorical constructions on them.
CopyrightGuillaume Sabbagh 2022
LicenseGPL-3
Maintainerguillaumesabbagh@protonmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Math.FiniteCategories.CommaCategory.Examples

Description

Examples of CommaCategory.

Synopsis

Documentation

exampleSlice :: CommaCategory NumberCategory NumberCategoryMorphism NumberCategoryObject One One One NumberCategory NumberCategoryMorphism NumberCategoryObject Source #

Example of slice category : (Id_4 | 2). This is the category of objects over 2 in the simplex category 4.

exampleCoslice :: CommaCategory One One One NumberCategory NumberCategoryMorphism NumberCategoryObject NumberCategory NumberCategoryMorphism NumberCategoryObject Source #

Example of coslice category : (2 | Id_4). This is the category of objects under 2 in the simplex category 4.

exampleArrowCategory :: CommaCategory NumberCategory NumberCategoryMorphism NumberCategoryObject NumberCategory NumberCategoryMorphism NumberCategoryObject NumberCategory NumberCategoryMorphism NumberCategoryObject Source #

Example of arrow category : (Id_4 | Id_4). This is the category of arrows of the simplex category 4.