Adjoint functor

Right adjoint functors are continuous

Suppose we have an adjunction of functors 𝐹 βŠ£π‘ˆ :𝖣 ⇆𝖒. Then π‘ˆ is a continuous functor and 𝐹 is a cocontinuous functor. cat


develop | en | SemBr