FiniteCategories-0.2.0.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.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

data HatOb Source #

Objects of the Hat category.

Constructors

HatA 
HatB 
HatC 

Instances

Instances details
Eq HatOb Source # 
Instance details

Defined in Math.FiniteCategories.Hat

Methods

(==) :: HatOb -> HatOb -> Bool

(/=) :: HatOb -> HatOb -> Bool

Show HatOb Source # 
Instance details

Defined in Math.FiniteCategories.Hat

Methods

showsPrec :: Int -> HatOb -> ShowS

show :: HatOb -> String

showList :: [HatOb] -> ShowS

PrettyPrint HatOb Source # 
Instance details

Defined in Math.FiniteCategories.Hat

Methods

pprint :: HatOb -> String Source #

Morphism HatAr HatOb Source # 
Instance details

Defined in Math.FiniteCategories.Hat

Category Hat HatAr HatOb Source # 
Instance details

Defined in Math.FiniteCategories.Hat

FiniteCategory Hat HatAr HatOb Source # 
Instance details

Defined in Math.FiniteCategories.Hat

Methods

ob :: Hat -> Set HatOb Source #

data HatAr Source #

Morphisms of the Hat category.

Constructors

HatIdA 
HatIdB 
HatIdC 
HatF 
HatG 

Instances

Instances details
Eq HatAr Source # 
Instance details

Defined in Math.FiniteCategories.Hat

Methods

(==) :: HatAr -> HatAr -> Bool

(/=) :: HatAr -> HatAr -> Bool

Show HatAr Source # 
Instance details

Defined in Math.FiniteCategories.Hat

Methods

showsPrec :: Int -> HatAr -> ShowS

show :: HatAr -> String

showList :: [HatAr] -> ShowS

PrettyPrint HatAr Source # 
Instance details

Defined in Math.FiniteCategories.Hat

Methods

pprint :: HatAr -> String Source #

Morphism HatAr HatOb Source # 
Instance details

Defined in Math.FiniteCategories.Hat

Category Hat HatAr HatOb Source # 
Instance details

Defined in Math.FiniteCategories.Hat

FiniteCategory Hat HatAr HatOb Source # 
Instance details

Defined in Math.FiniteCategories.Hat

Methods

ob :: Hat -> Set HatOb Source #

data Hat Source #

The Hat category.

Constructors

Hat 

Instances

Instances details
Eq Hat Source # 
Instance details

Defined in Math.FiniteCategories.Hat

Methods

(==) :: Hat -> Hat -> Bool

(/=) :: Hat -> Hat -> Bool

Show Hat Source # 
Instance details

Defined in Math.FiniteCategories.Hat

Methods

showsPrec :: Int -> Hat -> ShowS

show :: Hat -> String

showList :: [Hat] -> ShowS

PrettyPrint Hat Source # 
Instance details

Defined in Math.FiniteCategories.Hat

Methods

pprint :: Hat -> String Source #

Category Hat HatAr HatOb Source # 
Instance details

Defined in Math.FiniteCategories.Hat

FiniteCategory Hat HatAr HatOb Source # 
Instance details

Defined in Math.FiniteCategories.Hat

Methods

ob :: Hat -> Set HatOb Source #