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

Math.FiniteCategories.Square

Description

The Square category contains 4 generating arrows forming a square. It has 6 non identity arrows.

Synopsis

Documentation

Objects of the Square category.

Constructors

Instances details

PrettyPrint SquareOb Source #
Instance details Defined in Math.FiniteCategories.Square Methods pprint :: SquareOb -> String Source #
Show SquareOb Source #
Instance details Defined in Math.FiniteCategories.Square Methods showsPrec :: Int -> SquareOb -> ShowS show :: SquareOb -> String showList :: [SquareOb] -> ShowS
Eq SquareOb Source #
Instance details Defined in Math.FiniteCategories.Square Methods (==) :: SquareOb -> SquareOb -> Bool (/=) :: SquareOb -> SquareOb -> Bool
Morphism SquareAr SquareOb Source #
Instance details Defined in Math.FiniteCategories.Square Methods (@?) :: SquareAr -> SquareAr -> Maybe SquareAr Source # source :: SquareAr -> SquareOb Source # target :: SquareAr -> SquareOb Source #
Category Square SquareAr SquareOb Source #
Instance details Defined in Math.FiniteCategories.Square Methods identity :: Square -> SquareOb -> SquareAr Source # ar :: Square -> SquareOb -> SquareOb -> Set SquareAr Source # genAr :: Square -> SquareOb -> SquareOb -> Set SquareAr Source # decompose :: Square -> SquareAr -> [SquareAr] Source #
FiniteCategory Square SquareAr SquareOb Source #
Instance details Defined in Math.FiniteCategories.Square Methods ob :: Square -> Set SquareOb Source #

Morphisms of the Square category.

Constructors

Instances details

PrettyPrint SquareAr Source #
Instance details Defined in Math.FiniteCategories.Square Methods pprint :: SquareAr -> String Source #
Show SquareAr Source #
Instance details Defined in Math.FiniteCategories.Square Methods showsPrec :: Int -> SquareAr -> ShowS show :: SquareAr -> String showList :: [SquareAr] -> ShowS
Eq SquareAr Source #
Instance details Defined in Math.FiniteCategories.Square Methods (==) :: SquareAr -> SquareAr -> Bool (/=) :: SquareAr -> SquareAr -> Bool
Morphism SquareAr SquareOb Source #
Instance details Defined in Math.FiniteCategories.Square Methods (@?) :: SquareAr -> SquareAr -> Maybe SquareAr Source # source :: SquareAr -> SquareOb Source # target :: SquareAr -> SquareOb Source #
Category Square SquareAr SquareOb Source #
Instance details Defined in Math.FiniteCategories.Square Methods identity :: Square -> SquareOb -> SquareAr Source # ar :: Square -> SquareOb -> SquareOb -> Set SquareAr Source # genAr :: Square -> SquareOb -> SquareOb -> Set SquareAr Source # decompose :: Square -> SquareAr -> [SquareAr] Source #
FiniteCategory Square SquareAr SquareOb Source #
Instance details Defined in Math.FiniteCategories.Square Methods ob :: Square -> Set SquareOb Source #

The Square category.

Constructors

Instances details

PrettyPrint Square Source #
Instance details Defined in Math.FiniteCategories.Square Methods pprint :: Square -> String Source #
Show Square Source #
Instance details Defined in Math.FiniteCategories.Square Methods showsPrec :: Int -> Square -> ShowS show :: Square -> String showList :: [Square] -> ShowS
Eq Square Source #
Instance details Defined in Math.FiniteCategories.Square Methods (==) :: Square -> Square -> Bool (/=) :: Square -> Square -> Bool
Category Square SquareAr SquareOb Source #
Instance details Defined in Math.FiniteCategories.Square Methods identity :: Square -> SquareOb -> SquareAr Source # ar :: Square -> SquareOb -> SquareOb -> Set SquareAr Source # genAr :: Square -> SquareOb -> SquareOb -> Set SquareAr Source # decompose :: Square -> SquareAr -> [SquareAr] Source #
FiniteCategory Square SquareAr SquareOb Source #
Instance details Defined in Math.FiniteCategories.Square Methods ob :: Square -> Set SquareOb Source #