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

Description

This file exports all finite categories.

Documentation

module Math.FiniteCategories.NumberCategory

module Math.FiniteCategories.DiscreteCategory

module Math.FiniteCategories.FullSubcategory

module Math.FiniteCategories.Hat

module Math.FiniteCategories.V

module Math.FiniteCategories.Parallel

module Math.FiniteCategories.Square

module Math.FiniteCategories.Ens

module Math.FiniteCategories.Opposite

module Math.FiniteCategories.FunctorCategory

module Math.FiniteCategories.CompositionGraph

module Math.FiniteCategories.SafeCompositionGraph

module Math.FiniteCategories.CommaCategory

module Math.FiniteCategories.One

module Math.FiniteCategories.ConeCategory

module Math.FiniteCategories.Subcategory

module Math.FiniteCategories.DiscreteTwo

module Math.FiniteCategories.LimitCategory

module Math.FiniteCategories.ColimitCategory

module Math.FiniteCategories.ExponentialCategory