>>602
「自然な同型」は数学用語なんだけど知らない?