Honda-Tate theory

I talked about classical Honda-Tate theory, as well as recent developments that allow us to describe the full category of abelian varieties over a finite field rather than just the isogeny category. Notes are here.