関手"g" : "c" → "d"が