[logic-ml] univalence models for equivariant homotopy theory over a compact Lie group

logic logic at math.tsukuba.ac.jp
Thu May 12 17:34:37 JST 2022


  次の論文をreviewしましたので、
         御案内しておきます。


https://zbmath.org/pdf/1425.18005.pdf


     にしむら
     https://www.researchgate.net/profile/Hirokazu-Nishimura
     
https://www.youtube.com/watch?v=a-O408rRLnI&list=RDMMxcjcgRdWH8o&index=2



More information about the Logic-ml mailing list