『はじめての圏論』 加藤文元 ブルーバックス

p39 よって、0と0の最大公約数は0である。

お見事、よく分かりました。