CatDat

Implication Details

Assumptions: right adjoint

Conclusions: continuous

Reason: This is standard, see Mac Lane, Ch. V, Theorem 5.1.