\documentclass{article}
\usepackage{xy}
\xyoption{all}
\begin{document}
\pagestyle{empty}
\[
\xymatrix{
& K \otimes K \cong K \ar[ld]_{\eta \otimes \eta} \ar[rd]^\eta & \\
B \otimes B  & & B \ar[ll]^\Delta \\
}
\]
\end{document}

この作品の著作権者である私は、この作品についての権利を放棄しパブリックドメインとします。これは全世界で適用されます。 一部の国では、これが法的に可能ではない場合があります。その場合は、次のように宣言します。 私は、あらゆる人に対して、法により必要とされている条件を除き、如何なる条件も課すことなく、あらゆる目的のためにこの著作物を使用する権利を与えます。