Polyfold Theory for Categories

In this part we shall develop a theory of Fredholm functors for certain categories. The hard work has already been done in the previous parts. The resulting theory is very convenient in applications since it provides a transparent language with a large body of results. The construction of symplectic field theory is an excellent example for the use of this ‘categorical polyfold theory’.