Filter
Topologi
Filter
This volume provides a unified and accessible account of recent developments regarding the real homotopy type of configuration spaces of manifolds. Configuration spaces consist of …
This monograph uses braids to explore dynamics on surfaces, with an eye towards applications to mixing in fluids. The text uses the particular example of taffy pulling devices to …
This book introduces the notion of an effective Kan fibration, a new mathematical structure which can be used to study simplicial homotopy theory. The main motivation is to make …
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.After a quick introduction to Lean, the basic techniques of …
This book provides an introduction to deformation quantization and its relation to quantum field theory, with a focus on the constructions of Kontsevich and Cattaneo & Felder. …