twisted generalized cohomology theory is conjecturally ∞-categorical semantics of linear homotopy type theory:

Last revised on October 13, 2017 at 23:00:37. See the history of this page for a list of all contributions to it.