FiniteCategories-0.6.4.0: Finite categories and usual categorical constructions on them.
CopyrightGuillaume Sabbagh 2022
LicenseGPL-3
Maintainerguillaumesabbagh@protonmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Math.FiniteCategories.Opposite.Examples

Description

Examples of opposite categories.

Synopsis

Documentation

exampleOppositeEns :: Op (Ens Char) Source #

The opposite of an Ens category.

exampleOppositeNumberCategory :: Op NumberCategory Source #

The opposite of the NumberCategory 4.