La asociación "G"|- > g es un funtor.