Pseudofunctors with values on modules with zero dimensional support are constructed over the formally smooth category and residually finite category. Combining those pseudofunctors, a pseudofunctor over the category whose objects are Noetherian local rings and whose morphisms a…
