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

PrettyPrint VOb Source #
Instance details Defined in Math.FiniteCategories.V Methods pprint :: VOb -> String Source #
Show VOb Source #
Instance details Defined in Math.FiniteCategories.V Methods showsPrec :: Int -> VOb -> ShowS show :: VOb -> String showList :: [VOb] -> ShowS
Eq VOb Source #
Instance details Defined in Math.FiniteCategories.V Methods (==) :: VOb -> VOb -> Bool (/=) :: VOb -> VOb -> Bool
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

PrettyPrint VAr Source #
Instance details Defined in Math.FiniteCategories.V Methods pprint :: VAr -> String Source #
Show VAr Source #
Instance details Defined in Math.FiniteCategories.V Methods showsPrec :: Int -> VAr -> ShowS show :: VAr -> String showList :: [VAr] -> ShowS
Eq VAr Source #
Instance details Defined in Math.FiniteCategories.V Methods (==) :: VAr -> VAr -> Bool (/=) :: VAr -> VAr -> Bool
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

PrettyPrint V Source #
Instance details Defined in Math.FiniteCategories.V Methods pprint :: V -> String Source #
Show V Source #
Instance details Defined in Math.FiniteCategories.V Methods showsPrec :: Int -> V -> ShowS show :: V -> String showList :: [V] -> ShowS
Eq V Source #
Instance details Defined in Math.FiniteCategories.V Methods (==) :: V -> V -> Bool (/=) :: V -> V -> Bool
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 #