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

UsualCategories.Zero

Description

The 0 category contains no object and no morphism.

Synopsis

Documentation

The 0 category.

Constructors

Instances details

Eq Zero Source #
Instance details Defined in UsualCategories.Zero Methods (==) :: Zero -> Zero -> Bool (/=) :: Zero -> Zero -> Bool
Show Zero Source #
Instance details Defined in UsualCategories.Zero Methods showsPrec :: Int -> Zero -> ShowS show :: Zero -> String showList :: [Zero] -> ShowS
PrettyPrintable Zero Source #
Instance details Defined in UsualCategories.Zero Methods pprint :: Zero -> String Source #
Morphism Zero Zero Source #
Instance details Defined in UsualCategories.Zero Methods (@) :: Zero -> Zero -> Zero Source # source :: Zero -> Zero Source # target :: Zero -> Zero Source #
GeneratedFiniteCategory Zero Zero Zero Source #
Instance details Defined in UsualCategories.Zero Methods genAr :: Zero -> Zero -> Zero -> [Zero] Source # decompose :: Zero -> Zero -> [Zero] Source # genArrows :: Zero -> [Zero] Source #
FiniteCategory Zero Zero Zero Source #
Instance details Defined in UsualCategories.Zero Methods ob :: Zero -> [Zero] Source # identity :: Zero -> Zero -> Zero Source # ar :: Zero -> Zero -> Zero -> [Zero] Source # arrows :: Zero -> [Zero] Source #