Share:
  • Title:[Berkeley Seminar] Dennis Chen: Cartesian polynomial monads in HoTT
  • Duration: 59:26
  • Plays: 241 views
  • Published: 2 days ago
Download MP3
Download MP4


Simillar Videos

John Cartmell: ▶️ 1:24:40
John Cartmell: "aspects Of A Mathematical Theory Of Data" 241 views • Streamed 9 months ago
What is category theory?▶️ 10:32
What Is Category Theory? 241 views • 2 years ago
Brendan Fong: ▶️ 12:35
Brendan Fong: "welcome To Topos" 241 views • 3 years ago
Arezoo Islami: ▶️ 1:25:45
Arezoo Islami: "unravelling The 'unreasonable Effectiveness' Of Mathematics" 241 views • Streamed 3 days ago
Evan Patterson: ▶️ 23:00
Evan Patterson: "a Short Introduction To Categorical Logic" 241 views • 3 years ago