Now let's instantiate back to our integer category, and show that \$$A \times B = gcd(m,n)\$$ satisfies this universal property.