Universal property for tensor product in an arbitrary category -  Mathematics Stack Exchange