en la categoría de los grupos abelianos, donde el funtor "F" era 'toma el producto tensorial con "A"', y "G" era el funtor Hom("A".).