El funtor de olvido tiene un adjunto izquierdo (que equipa un conjunto dado con la topología discreta) y un adjunto derecho (que equipa un conjunto dado con la topología trivial).