Special Seminar

The aim of this talk is to introduce some of the technologies used in derived algebraic geometry. Beginning with an explanation of the notion of infinity-groupoid, I will develop the notion of infinity-categories. I will discuss the relationship between this notion and various notions of "categories with weak equivalences." The final aim of the talk is to state the Strictification Theorem, which allows for effective computation.