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

UsualCategories.Square

Description

The square category contains 4 generating arrows forming a square.

Synopsis

Documentation

Object of the Square category.

Constructors

Instances details

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

Morphism of the Square category.

Constructors

Instances details

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

The Square category.

Constructors

Instances details

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