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

Math.Functors.Adjunction.Example

Description

An exemple of leftAdjoint and rightAdjoint use pretty printed.

Synopsis

Documentation

main :: IO () Source #

An exemple of leftAdjoint and rightAdjoint use pretty printed.