4 ms·

Source, pretty please?

• shawn 8y ago
  https://books.google.com/books?id=LkDUKMv3yp0C&pg=PA11&lpg=PA11&dq=%22We+summarize+the+different+points+of+view+of+the+type-theoretic+operations+in+Table+1.%22&source=bl&ots=au08DGQydm&sig=v9DrnObM_x9ygzdCCNMsk0VZ63Y&hl=en&sa=X&ved=2ahUKEwjRkuPW6L_bAhVU_oMKHfSvC7EQ6AEwAHoECAEQKg#v=onepage&q=%22We%20summarize%20the%20different%20points%20of%20view%20of%20the%20type-theoretic%20operations%20in%20Table%201.%22&f=false https://books.google.com/books?id=LkDUKMv3yp0C&pg=PA11&lpg=P... Homotopy Type Theory: Univalent Foundations of Mathematics
  • arto 8y ago
    Thanks!
• hiker 8y ago
  It's from https://hott.github.io/book/nightly/hott-online-1174-g29279f5.pdf#page=23 https://hott.github.io/book/nightly/hott-online-1174-g29279f...
  • arto 8y ago
    Thanks!