Treuflacher Abstieg/Gruppenoperation/Beziehung/Diagramm

${\begin{matrix}Y\times _{X}Y\times _{X}Y&{\stackrel {q_{ij}}{\longrightarrow }}&Y\times _{X}Y&{\stackrel {p_{i}}{\longrightarrow }}&Y\\p_{1}\times \mu _{2}\times \mu _{3}{\uparrow }\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,&&\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\uparrow p_{1}\times \mu &&\,\,\,\,\,\uparrow {\rm {id}}\\Y\times H\times H&{\stackrel {\varphi _{ij}}{\longrightarrow }}&Y\times H&{\stackrel {p_{1},\mu }{\longrightarrow }}&Y\,\end{matrix}}$