nLab enumerated type

Contents

Contents

Idea

An enumerated type is any type given by a finite disjoint sum of unit types.

Definition

Properties

Every enumerated type is a subtype of the natural numbers type.

Examples

References

Last revised on January 24, 2017 at 08:35:33. See the history of this page for a list of all contributions to it.