Por supuesto, la categoría de conjuntos forma topos, trivialmente.