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

UsualCategories.Two

Description

The 2 category contains two object A and B and a morphism f : A -> B (and of course two identities).

Synopsis

Documentation

Object of the 2 category.

Constructors

A
B

Instances details

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

Morphism of the 2 category.

Constructors

Instances details

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

The 2 category.

Constructors

Instances details

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