I have a question regarding globalizing a functor on rings to that on schemes. To avoid a long post in this chat I typed it up in this post: https://mathoverflow.net/questions/395533/globalizing-mod-pr-k-theory-sheaves-and-log-witt-sheaves

I would be happy if one could comment.