ここで、このように定義した恒等射が単位律を満たすこと、それから、このように定義した射および射の合成が結合律を満たすことを示したい。対して、が成り立つことを示す。おいて、が成り立つことを示せばよい。定義に使った2番目の可換図式を組み合わせた以下の図式が可換であることから、上の式が成り立つことがわかる。よって、恒等射が単位律を満たすことが示せた。次に、射および射の合成が結合律を満たすこと、すなわちに対して、が成り立つことを示す。おいて、が成り立つことを示せばよい。定義の1番目の可換図式から、以下の図式が可換であることがわかる。よって、上の式は以下になる。射および射の合成が結合律を満たすことが示せた。comment2019-10-12C言語で浮動小数点数をビットパターンに変換する方法1.0の64bit浮動小数点数、32bit浮動小数点数、16bit浮動小数点数でのビットパターンを求めます。0xFFFF);}コンパイルして、実行すると以下になります。