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

UsualCategories.Hat

Description

The Hat category contains two arrows coming from the same object.

Synopsis

Documentation

Object of the Hat category.

Constructors

Instances details

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

Morphism of the Hat category.

Constructors

Instances details

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

The Hat category.

Constructors

Instances details

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