Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

December 6, 2011

Basic Ideas of Homotopy Axiomatic Cohesion

Posted by Urs Schreiber

Today I spoke in our category theory seminar on

Homotopy Axiomatic Cohesion – Some basic ideas (pdf)

This is with an audience with a background in toposes and logic in mind.

For anyone following our discussions here the slides contain no news, but maybe there is some use for basic introductory and survey material.

Posted at December 6, 2011 7:12 PM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/2470

1 Comment & 0 Trackbacks

Re: Basic Ideas of Homotopy Axiomatic Cohesion

Very nice!

Posted by: Mike Shulman on December 6, 2011 7:41 PM | Permalink | Reply to this

Post a New Comment