Math.Categories

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