Assumptions: representable
Conclusions: continuous
Reason: This is standard, see Mac Lane, Ch. V, Theorem 4.1.