Emily Riehl: On the ∞-topos semantics of homotopy type theory: The simplicial model of...- Lecture 2

แชร์
ฝัง
  • เผยแพร่เมื่อ 28 ก.ย. 2024

ความคิดเห็น •