Title: Six functor formalism and the !-topology
Title: The simply typed 2λ-calculus Abstract: 2λ-calculus is a language with three levels: types, terms, and rewrites. I will explore their properties and give categorical description of the equational theory on the rewrites of the 2λ-calculus