Profile

Cover photo
Greg Hale
Works at Massachusetts Institute of Technology
Lived in Flemington, NJ
143 followers|45,788 views
AboutPostsPhotosYouTube

Stream

Greg Hale

Shared publicly  - 
1
Joseph Ching's profile photo
 
Don't think Comonad instance for Pair would satisfy the laws... but comonads are pretty co-ol.
Add a comment...

Greg Hale

Shared publicly  - 
 
Greg Hale originally shared:
 
Great post.  Hits on some of my frustrations with science, and probably some of yours, too.  Lee Smolin (author of The Trouble with Physics) chimes in in the comments section with the nice point - if all the idealists quit, how can they fix academia?
1
Add a comment...

Greg Hale

Shared publicly  - 
1
Vic Games's profile photo
 
Me segue
 ·  Translate
Add a comment...

Greg Hale

Shared publicly  - 
 
Open source academia.  It's happening!!
The HoTT book is finished! Since spring, and even before that, I have participated in a great collaborative effort on writing a book on Homotopy Type Theory. It is finally finished and ready for public consumption. You can get the book freely at http://homotopytypetheory.org/book/.
1
Add a comment...

Greg Hale changed his profile photo.

Shared publicly  - 
 
Greg Hale changed his profile photo.
1
Add a comment...
Work
Occupation
Rat sciences
Employment
  • Massachusetts Institute of Technology
    Grad student, 2006 - present
Basic Information
Gender
Male
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Previously
Flemington, NJ - Cambridge, MA
Links
YouTube