Data.Category.Void

0, the empty category. The limit and colimit of the functor from 0 to some category provide terminal and initial objects in that category.

Documentation

data Void a b

The (empty) data type of the arrows in 0.

Instances

(CategoryO ~> a, CategoryO ~> b) => FunctorA (Diag Void ~>) a b

CategoryO (Funct Void d) (FunctO Void d f)

data VoidF (~>)

The functor from 0 to (~>), the empty diagram in (~>).

Constructors

VoidF

class VoidColimit (~>) where

An initial object is the colimit of the functor from 0 to (~>).

Associated Types

type InitialObject (~>) :: *

Methods

voidColimit :: Colimit (VoidF ~>) (InitialObject ~>)

Instances

VoidColimit (->)

VoidColimit Boolean

VoidColimit Omega

class VoidLimit (~>) where

A terminal object is the limit of the functor from 0 to (~>).

Associated Types

type TerminalObject (~>) :: *

Methods

voidLimit :: Limit (VoidF ~>) (TerminalObject ~>)

Instances

VoidLimit (->)

VoidLimit Boolean