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

Math.FiniteCategories.V

Description

The V category contains two arrows pointing to the same object.

The shape of the V category is the following : B -F-> A <-G- C

Synopsis

Documentation

Objects of the V category.

Constructors

Instances details

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

Morphisms of the V category.

Constructors

Instances details

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

The V category.

Constructors

Instances details

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