合成写像

合成写像のメンテ。