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 differe…