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

Description

Ens are full subcategories of Set (FinSet for us) in a given set universe.

(See "Categories for the Working Mathematican" Saunders Mac Lane. p.11)

Synopsis

Documentation

type Ens a = InheritedFullSubcategory (FinSet a) (Function a) (Set a) Source #

Ens are full subcategories of Set (FinSet for us) in a given set universe.

ens :: Set (Set a) -> Ens a Source #

The Ens generated by a set universe. (See "Categories for the Working Mathematican" Saunders Mac Lane. p.11)