Is the hooked arrow map notation not supposed to mean an inclusion mapping?
His definition is clearly showing inputs from $\mathbb{R}^2$ who's images are elements in $\mathbb{R}^{3}$ with fixed $z$ component 1. Am I missing something or is this clearly not an inclusion mapping?