The fundamental theorem of deeper algebra
Higher algebra is the algebra of (connective) spectra. Deeper algebra is the algebra of (coconnective) categorical spectra. Deeper algebra organizes and simplifies many phenomena, from Galois theory to the classification of phases of matter. I will introduce these areas, and I will report on joint work in progress with David Reutter.
Licensed to the public under https://creativecommons.org/licenses/by/4.0/