FiniteCategories-0.6.5.1: Finite categories and usual categorical constructions on them.
CopyrightGuillaume Sabbagh 2022
LicenseGPL-3
Maintainer[email protected]
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Math.Functors.Examples

Description

This file exports all Functors examples.

Documentation

module Math.Functors.Adjunction.Examples

module Math.Functors.DataMigration.Examples

module Math.Functors.DiagonalFunctor.Examples

module Math.Functors.KanExtension.Examples

module Math.Functors.SetValued.Examples

module Math.Functors.YonedaEmbedding.Examples