nLab
pointed type

Contents

Contents

Idea

A pointed type is a type equipped with a term.

The categorical semantics is a pointed object.

Last revised on September 4, 2018 at 10:32:49. See the history of this page for a list of all contributions to it.