Model categories are used as a tool for inverting certain maps in a category in a controllable manner. They are useful in diverse areas of mathematics. This boo

A short introduction ideal for students learning category theory for the first time.

This book lays the foundations of differential calculus in infinite dimensions and discusses those applications in infinite dimensional differential geometry an