FiniteCategories-0.6.5.1: Finite categories and usual categorical constructions on them.
CopyrightGuillaume Sabbagh 2022
LicenseGPL-3
Maintainer[email protected]
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Math.FiniteCategories.Opposite

Description

The Opposite category of a FiniteCategory is a FiniteCategory.

Documentation

module Math.Categories.Opposite