This book pioneers a nonlinear Fredholm theory in a general class of spaces called polyfolds. The theory generalizes certain aspects of nonlinear analysis and differential geometry, and combines them with a pinch of category theory to incorporate local symmetries. On the differential geometrical side, the book introduces a large class of `smooth’ spaces and bundles which can have locally varying dimensions (finite or infinite-dimensional). These bundles come with an important class of sections, which display properties reminiscent of classical nonlinear Fredholm theory and allow for implicit function theorems. Within this nonlinear analysis framework, a versatile transversality and perturbation theory is developed to also cover equivariant settings. weiterlesen