nLab
pointed type

Contents

Contents

Idea

A pointed type is a type equipped with a term of that type.

The categorical semantics is a pointed object.

Last revised on March 18, 2021 at 04:16:19. See the history of this page for a list of all contributions to it.