UsualCategories.Zero

The 0 category contains no object and no morphism.

Documentation

data Zero

The 0 category.

Constructors

Zero

Instances

Eq Zero

Defined in UsualCategories.Zero

Methods

(==) :: Zero -> Zero -> Bool

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

Show Zero

Defined in UsualCategories.Zero

Methods

showsPrec :: Int -> Zero -> ShowS

show :: Zero -> String

showList :: [Zero] -> ShowS

PrettyPrintable Zero

Defined in UsualCategories.Zero

Methods

pprint :: Zero -> String

Morphism Zero Zero

Defined in UsualCategories.Zero

Methods

(@) :: Zero -> Zero -> Zero

source :: Zero -> Zero

target :: Zero -> Zero

GeneratedFiniteCategory Zero Zero Zero

Defined in UsualCategories.Zero

Methods

genAr :: Zero -> Zero -> Zero -> [Zero]

decompose :: Zero -> Zero -> [Zero]

genArrows :: Zero -> [Zero]

FiniteCategory Zero Zero Zero

Defined in UsualCategories.Zero

Methods

ob :: Zero -> [Zero]

identity :: Zero -> Zero -> Zero

ar :: Zero -> Zero -> Zero -> [Zero]

arrows :: Zero -> [Zero]