2 papers
math.KT2024
A proof of Bott periodicity via Quot schemes and bulk-edge correspondence
Masaki Natori
In this paper, we give alternative proofs of Bott periodicity of -theory and the bulk-edge correspondence of integer quantum Hall effect. Regarding Bott periodicity, we connec…
cs.LO2020
On principal types and well-foundedness of the cummulativity relation in ECC
Eitetsu Ken, Masaki Natori, Kenji Tojo +1
When we investigate a type system, it is helpful if we can establish the well-foundedness of types or terms with respect to a certain hierarchy, and the Extended Calculus of Constr…