Math.FiniteCategories.Ens
Description
Ens are full subcategories of Set (FinSet for us) in a given set universe.
Ens
FinSet
(See "Categories for the Working Mathematican" Saunders Mac Lane. p.11)
type Ens a = InheritedFullSubcategory (FinSet a) (Function a) (Set a) Source #
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)