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.All

Description

ll modules from the FiniteCategories package.

ll categories, all finite categories, category and finite category functions, IO, Debug...

Documentation

module Math.Category

module Math.FiniteCategory

module Math.CompleteCategory

module Math.CocompleteCategory

module Math.CartesianClosedCategory

module Math.FiniteCategories.Examples

module Math.FiniteCategoryError

module Math.Categories

module Math.FiniteCategories

module Math.Functors

module Math.IO.PrettyPrint