Tagged is a continuous functor