Atom invariant functor