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)
|