Considere $i_1 : X \rightarrow Y$, $i_2 : X \rightarrow \beta X$ as funções inclusões