#homotopytypetheory نتائج البحث
PhD student colloquium: Sean Moss "From intuitionism to synthetic homotopy theory" #HomotopyTypeTheory #CategoryTheory @Cambridge_Uni #maths
存在や生成のプロセスを、型理論・Homotopy-coherence・∞-colimit という数学的構造でモデル化 比喩的に言えばAgdaを使って生成・恒常・自己同一性のメカニズムに直接アクセス #Agda #CubicalTypeTheory #HomotopyTypeTheory #InfinityFixpoint #ConsciousnessFormalization #ΔGenesis
If you want to see this for yourself, I highly recommend these exercises home.sandiego.edu/~shulman/hotts… developed by Mike Shulman to introduce type theory and the computer proof assistant #Coq, as part of a Seminar on #HomotopyTypeTheory: home.sandiego.edu/~shulman/hotts…
this is exciting: a talk about the connections between #homotopytypetheory and #patchtheory. Pretty cool stuff. youtube.com/watch?v=4yCvTa…
Rob Harper's HoTT lectures are online! #homotopytypetheory scs.hosted.panopto.com/Panopto/Pages/…
We are living in that temporary, rare time when set theory was used as a foundation for mathematics instead of homotopy type theory. #homotopytypetheory
now on to Voevodsky - Univalent Foundations of Mathematics http://bit.ly/kUin9E #homotopytypetheory
homotopy type theory | Mendeley Group http://bit.ly/lFCI3i created a #mendeley group for #homotopytypetheory refs from http://bit.ly/mg1wXS
Exciting (and heavy!) stuff going on in the theoretical world. existentialtype.wordpress.com/2012/12/03/uni… #homotopytypetheory
just finished listening to Awodey - construct type theory & homotopy talk at IAS: http://bit.ly/mMuAfb enjoyed it a lot! #homotopytypetheory
Current status of #homotopytypetheory mailing list: equality is still weird.
started reading "certified programming with dependent types": http://bit.ly/m4R191 lots of fun! learning #coq and #homotopytypetheory
PhD Position in Semantics of Homotopy Type Theory 📍Amsterdam, Netherlands Develop new formal system 'Simplicial Type Theory' at UvA ILLC. Fully funded. Apply now: researchhires.com/position/fa173… #PhD #HomotopyTypeTheory #Maths #Logic #Amsterdam #Researchhires
researchhires.com
ResearchHires | Find and Post Research Positions ( PhD, Postdoc and Masters)
ResearchHires is the leading platform for professors to easily post and manage PhD, doctorate, master's, and intern research positions across Canadian universities. Students can search and apply for...
After 140 pages of reading #HomotopyTypeTheory, it still feels I'm studying different aspects of the notion of equality. It's daunting because equality is usually a prime concept which doesn't need much explaining.
Set Theory or Homotopy Type Theory as a foundation for mathematics. Thoughts? #homotopytypetheory #settheory #foundationsofmathematics
40 mathematicians find something amazing and just go "omfg omfg *booksplode*" and release it for free. Great going #homotopytypetheory
存在や生成のプロセスを、型理論・Homotopy-coherence・∞-colimit という数学的構造でモデル化 比喩的に言えばAgdaを使って生成・恒常・自己同一性のメカニズムに直接アクセス #Agda #CubicalTypeTheory #HomotopyTypeTheory #InfinityFixpoint #ConsciousnessFormalization #ΔGenesis
PhD Position in Semantics of Homotopy Type Theory 📍Amsterdam, Netherlands Develop new formal system 'Simplicial Type Theory' at UvA ILLC. Fully funded. Apply now: researchhires.com/position/fa173… #PhD #HomotopyTypeTheory #Maths #Logic #Amsterdam #Researchhires
researchhires.com
ResearchHires | Find and Post Research Positions ( PhD, Postdoc and Masters)
ResearchHires is the leading platform for professors to easily post and manage PhD, doctorate, master's, and intern research positions across Canadian universities. Students can search and apply for...
Set Theory or Homotopy Type Theory as a foundation for mathematics. Thoughts? #homotopytypetheory #settheory #foundationsofmathematics
We are living in that temporary, rare time when set theory was used as a foundation for mathematics instead of homotopy type theory. #homotopytypetheory
After 140 pages of reading #HomotopyTypeTheory, it still feels I'm studying different aspects of the notion of equality. It's daunting because equality is usually a prime concept which doesn't need much explaining.
存在や生成のプロセスを、型理論・Homotopy-coherence・∞-colimit という数学的構造でモデル化 比喩的に言えばAgdaを使って生成・恒常・自己同一性のメカニズムに直接アクセス #Agda #CubicalTypeTheory #HomotopyTypeTheory #InfinityFixpoint #ConsciousnessFormalization #ΔGenesis
PhD student colloquium: Sean Moss "From intuitionism to synthetic homotopy theory" #HomotopyTypeTheory #CategoryTheory @Cambridge_Uni #maths
Something went wrong.
Something went wrong.
United States Trends
- 1. Lakers 50.2K posts
- 2. Kanata 11.6K posts
- 3. Dillon Brooks 7,066 posts
- 4. Bron 25K posts
- 5. Giants 86.1K posts
- 6. #WWERaw 71.6K posts
- 7. Dart 36.3K posts
- 8. Patriots 132K posts
- 9. #AvatarFireAndAsh 3,106 posts
- 10. Suns 19.2K posts
- 11. Collin Gillespie 2,055 posts
- 12. Drake Maye 24.5K posts
- 13. Ryan Nembhard 4,272 posts
- 14. STEAK 10.6K posts
- 15. James Cameron 4,729 posts
- 16. Diaz 34.3K posts
- 17. Devin Williams 7,761 posts
- 18. Gunther 15.3K posts
- 19. Pats 16.3K posts
- 20. Devin Booker 2,649 posts