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

Description

This file exports all categories.

Documentation

module Math.Categories.Omega

module Math.Categories.OrdinalCategory

module Math.Categories.TotalOrder

module Math.Categories.Galaxy

module Math.Categories.FinSet

module Math.Categories.FinGrph

module Math.Categories.Opposite

module Math.Categories.FinCat

module Math.Categories.FunctorCategory

module Math.Categories.CommaCategory

module Math.Categories.ConeCategory

module Math.Categories.PresheafCategory

module Math.Categories.FinSketch