Definition:Pointed Mapping

Definition
Let $\struct {A, a}$ and $\struct {B, b}$ be pointed sets.

A pointed mapping $f: \struct {A, a} \to \struct {B, b}$ is a mapping $f : A \to B$ such that $\map f a = b$.

Also see

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