some general thoughts/sketch of the talk
typos corrected
the theoretical background
theory on functors completed