Definition:Multiple Pointed Set

Definition
Let $I$ be a set.

An $I$-pointed set is an ordered pair $\struct {A, f}$ where:
 * $A$ is a set
 * $f : I \to A$ is a mapping

Also see

 * Definition:Category of Multiple Pointed Sets
 * Definition:Pointed Set

Generalizations

 * Definition:Comma Category