El coproducto se denota por formula_195