Adjoint functor

Right adjoint functors are continuous

Suppose we have an adjunction of functors . Then is a continuous functor and is a cocontinuous functor. #m/thm/cat

#state/develop | #lang/en | #SemBr