Math.FiniteCategories.One

The 1 category contains one object and its identity.

You can construct it using NumberCategory, it is defined as a standalone category because it is often used unlike other number categories.

Documentation

data One

One is a datatype used as the object type, the morphism type and the category type of 1.

Constructors

One

Instances

PrettyPrint One

Defined in Math.FiniteCategories.One

Methods

pprint :: One -> String

Show One

Defined in Math.FiniteCategories.One

Methods

showsPrec :: Int -> One -> ShowS

show :: One -> String

showList :: [One] -> ShowS

Eq One

Defined in Math.FiniteCategories.One

Methods

(==) :: One -> One -> Bool

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

Morphism One One

Defined in Math.FiniteCategories.One

Methods

(@?) :: One -> One -> Maybe One

source :: One -> One

target :: One -> One

Category One One One

Defined in Math.FiniteCategories.One

Methods

identity :: One -> One -> One

ar :: One -> One -> One -> Set One

genAr :: One -> One -> One -> Set One

decompose :: One -> One -> [One]

FiniteCategory One One One

Defined in Math.FiniteCategories.One

Methods

ob :: One -> Set One