The sphere spectrum as categorification of the integers, as remarked in a comment of Thomas Kragh below his answer here, and which I believe is due to Joyal.
Hm, that's a lot of answers from me. Should I stop now, or keep going?
The sphere spectrum as categorification of the integers, as remarked in a comment of Thomas Kragh below his answer here, and which I believe is due to Joyal.
Hm, that's a lot of answers from me. Should I stop now, or keep going?