Equivariant Topology and Derived Algebra

This volume contains eight research papers inspired by the 2019 'Equivariant Topology and Derived Algebra' conference, held at the Norwegian University of Science and Technology, Trondheim in honour of Professor J. P. C. Greenlees' 60th birthday. These papers, written by experts in the field, are intended to introduce complex topics from equivariant topology and derived algebra while also presenting novel research. As such this book is suitable for new researchers in the area and provides an excellent reference for established researchers. The inter-connected topics of the volume include: algebraic models for rational equivariant spectra; dualities and fracture theorems in chromatic homotopy theory; duality and stratification in tensor triangulated geometry; Mackey functors, Tambara functors and connections to axiomatic representation theory; homotopy limits and monoidal Bousfield localization of model categories.

Homotopy limits in type theory

Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges posed by this approach to the formalizing homotopy-theoretic material. We also compare our constructions with the more classical approach to homotopy limits via fibration categories.