>>92
かかんかんの圏を考えるときには単位元の存在を仮定しないほうがよくね?