Hello All:  (01)
Is anyone here following the developments of the Univalent Foundations
program at IAS?  (02)
The following video provides insights into the developments.  (03)
 http://video.ias.edu/univalent/awodey  (04)
If I remember correctly, last year someone here asked whether any new
work had taken place in the past 20+ years or so on topology and logic.  (05)
Seems the answer would be yes and that work includes topology, logic and
martin-lof type theory.  (06)
--
Rick  (07)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ 
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ 
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J  (08)