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

UsualCategories.V

Description

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

Synopsis

Documentation

Object of the V category.

Constructors

Instances details

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

Morphism of the V category.

Constructors

Instances details

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

The V category.

Constructors

Instances details

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