2 papers
math.AT2019
The trace of the local -degree
Thomas Brazelton, Robert Burklund, Stephen McKean +2
We prove that the local -degree of a polynomial function at an isolated zero with finite separable residue field is given by the trace of the local -deg…
math.AT2018
Localization in Homotopy Type Theory
J. Daniel Christensen, Morgan Opie, Egbert Rijke +1
We study localization at a prime in homotopy type theory, using self maps of the circle. Our main result is that for a pointed, simply connected type , the natural map $X \to X_…