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

Math.FiniteCategories.Parallel

Description

The Parallel category contains two objects A and B and two morphisms F : A -> B and G : A -> B.

Synopsis

Documentation

Objects of the Parallel category.

Constructors

ParallelA
ParallelB

Instances details

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

Morphisms of the Parallel category.

Constructors

Instances details

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

The Parallel category.

Constructors

Instances details

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