圏論的量子力学入門 [ ボブ・クック ]