CPL-0.2.0: doc-images/natural-numbers.tex

\documentclass{standalone}
\usepackage{amssymb}
\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}
1 \arrow[rr, "0"] \arrow[rrdd, bend right, "z"'] & & \mathbb{N} \arrow[dd, dashed, "{\mathrm{pr}(z,f)}" description] \arrow[rr, "s"] & & \mathbb{N} \arrow[dd, dashed, "{\mathrm{pr}(z,f)}" description] \\
\\
& & X \arrow[rr, "f"'] & & X
\end{tikzcd}
\end{document}