Copyright	Guillaume Sabbagh 2022
License	GPL-3
Maintainer	guillaumesabbagh@protonmail.com
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Math.FiniteCategories.Hat

Description

The Hat category contains two arrows coming from the same object.

The shape of Hat is the following : B `A` -`G`- C

Synopsis

Documentation

Objects of the Hat category.

Constructors

Instances details

PrettyPrint HatOb Source #
Instance details Defined in Math.FiniteCategories.Hat Methods pprint :: HatOb -> String Source #
Show HatOb Source #
Instance details Defined in Math.FiniteCategories.Hat Methods showsPrec :: Int -> HatOb -> ShowS show :: HatOb -> String showList :: [HatOb] -> ShowS
Eq HatOb Source #
Instance details Defined in Math.FiniteCategories.Hat Methods (==) :: HatOb -> HatOb -> Bool (/=) :: HatOb -> HatOb -> Bool
Morphism HatAr HatOb Source #
Instance details Defined in Math.FiniteCategories.Hat Methods (@?) :: HatAr -> HatAr -> Maybe HatAr Source # source :: HatAr -> HatOb Source # target :: HatAr -> HatOb Source #
Category Hat HatAr HatOb Source #
Instance details Defined in Math.FiniteCategories.Hat Methods identity :: Hat -> HatOb -> HatAr Source # ar :: Hat -> HatOb -> HatOb -> Set HatAr Source # genAr :: Hat -> HatOb -> HatOb -> Set HatAr Source # decompose :: Hat -> HatAr -> [HatAr] Source #
FiniteCategory Hat HatAr HatOb Source #
Instance details Defined in Math.FiniteCategories.Hat Methods ob :: Hat -> Set HatOb Source #

Morphisms of the Hat category.

Constructors

Instances details

PrettyPrint HatAr Source #
Instance details Defined in Math.FiniteCategories.Hat Methods pprint :: HatAr -> String Source #
Show HatAr Source #
Instance details Defined in Math.FiniteCategories.Hat Methods showsPrec :: Int -> HatAr -> ShowS show :: HatAr -> String showList :: [HatAr] -> ShowS
Eq HatAr Source #
Instance details Defined in Math.FiniteCategories.Hat Methods (==) :: HatAr -> HatAr -> Bool (/=) :: HatAr -> HatAr -> Bool
Morphism HatAr HatOb Source #
Instance details Defined in Math.FiniteCategories.Hat Methods (@?) :: HatAr -> HatAr -> Maybe HatAr Source # source :: HatAr -> HatOb Source # target :: HatAr -> HatOb Source #
Category Hat HatAr HatOb Source #
Instance details Defined in Math.FiniteCategories.Hat Methods identity :: Hat -> HatOb -> HatAr Source # ar :: Hat -> HatOb -> HatOb -> Set HatAr Source # genAr :: Hat -> HatOb -> HatOb -> Set HatAr Source # decompose :: Hat -> HatAr -> [HatAr] Source #
FiniteCategory Hat HatAr HatOb Source #
Instance details Defined in Math.FiniteCategories.Hat Methods ob :: Hat -> Set HatOb Source #

The Hat category.

Constructors

Instances details

PrettyPrint Hat Source #
Instance details Defined in Math.FiniteCategories.Hat Methods pprint :: Hat -> String Source #
Show Hat Source #
Instance details Defined in Math.FiniteCategories.Hat Methods showsPrec :: Int -> Hat -> ShowS show :: Hat -> String showList :: [Hat] -> ShowS
Eq Hat Source #
Instance details Defined in Math.FiniteCategories.Hat Methods (==) :: Hat -> Hat -> Bool (/=) :: Hat -> Hat -> Bool
Category Hat HatAr HatOb Source #
Instance details Defined in Math.FiniteCategories.Hat Methods identity :: Hat -> HatOb -> HatAr Source # ar :: Hat -> HatOb -> HatOb -> Set HatAr Source # genAr :: Hat -> HatOb -> HatOb -> Set HatAr Source # decompose :: Hat -> HatAr -> [HatAr] Source #
FiniteCategory Hat HatAr HatOb Source #
Instance details Defined in Math.FiniteCategories.Hat Methods ob :: Hat -> Set HatOb Source #