[Top] [All Lists]

[ontolog-forum] univalent foundations

To: ontolog-forum <ontolog-forum@xxxxxxxxxxxxxxxx>
From: rickmurphy <rick@xxxxxxxxxxxxxx>
Date: Thu, 12 Jan 2012 10:27:55 -0500
Message-id: <1326382075.31443.16.camel@metho-laptop>
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)

<Prev in Thread] Current Thread [Next in Thread>
  • [ontolog-forum] univalent foundations, rickmurphy <=