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.

August 30, 2012

Urs Schreiber in The Reasoner

Posted by David Corfield

In December 2008, I interviewed Tom Leinster for Kent’s in-house journal – The Reasoner. The latest version, September 2012, sees me do the same to Urs.

I’m posting this here so that any regulars, or anyone who comes here via The Reasoner, can discuss whatever strikes them in what Urs says.

The abrupt transition in The Reasoner from interview to succeeding article had people last time imagining Tom had decided to talk about ‘The Paradox of Omniscience’. Likewise, you need to guard against thinking Urs goes on to talk of ‘Personal taste ascriptions and the Sententiality assumption’.

Posted at 3:05 PM UTC | Permalink | Followups (33)

Directed Homotopy at Liverpool

Posted by David Corfield

Zoran posted an announcement at the nForum for a EPSRC DTG studentship award for research leading to a PhD on the subject of Directed homotopy theory and (,1)(\infty,1)-categories at Liverpool University. There’s no mention of a deadline, but it begins very soon.

The work is to be supervised by Jon Woolf, who came to my attention during our discussion on fundamental nn-categories with duals of statified spaces, back here. Subsequently, he wrote two papers Transversal homotopy theory and Whitney categories and the Tangle Hypothesis (with Conor Smyth) making rigorous the original Baez-Dolan idea.

Now hasn’t there got to be a connection to what Ayala and Rozenbluym are doing with sheaves over manifolds with stratified subcomplexes to reach (,n)(\infty,n)-categories with adjoints? Will it be a case again that (,n)(\infty, n) proves simpler than plain nn?

And what about Todd Trimble’s work on surface diagrams:

This study would involve a fascinating marriage between topics in pure higher category theory (n-categories with duals) and topics in pure differential topology (stratified Morse theory).

Stratification is in the air.

Posted at 8:48 AM UTC | Permalink | Post a Comment

August 29, 2012

Jech (1973), page 118

Posted by Tom Leinster

My friend in symplectic geometry tells me that in his field more than most, significant mistakes find their way into the published literature. But it seems that other subjects have had trouble with this too:

Posted at 1:24 AM UTC | Permalink | Followups (2)

August 24, 2012

Brown Representability

Posted by Mike Shulman

Time for more debunking of pervasive mathematical myths. Quick, state the Brown representability theorem!

Posted at 5:55 PM UTC | Permalink | Followups (19)

August 20, 2012

Quantum Gauge Field Theory in Cohesive Homotopy Type Theory

Posted by Urs Schreiber

Readers of this blog know that Mike Shulman and myself have had extensive discussion, over many months, about cohesive homotopy type theory. Mike has connected this to his other work on homotopy type theory as explained in his post Internalizing the External, or The Joys of Codiscreteness, and I have been trying to see how much of quantum gauge field theory can be formalized in this axiomatics, discussed for instance in the post Prequantization in cohohesive homotopy type theory.

Now, the call for submissions to

  • QPL 2012

    Quantum Physics and Logic

    10-12 October 2012, Brussels, Belgium


made us think that this may be a good occasion to finally write up something together, even if it is just an “extended abstract”. This we have done now:

Maybe you’d enjoy having a look and dropping us a comment. It’s a brief survey (given the size constraints demanded for submissions of this form) of a collection of central constructions and their relations, which hopefully serves to indicate how the two seemingly disparate subjects of the title are in fact closely related.

Posted at 7:06 AM UTC | Permalink | Post a Comment

August 13, 2012

Strings and Automorphic Forms in Topology

Posted by Urs Schreiber

This week takes place the conference

  • Strings and Automorphic Forms in Topology


intended as the pure-math satellite conference of the recent String-Math 2012 meeting :

The conference focuses on the topological aspects of the series of String-Math meetings. It aims to engage the growing number of mathematicians working on the new interactions of topology with string geometry in mathematical physics and algebraic geometry. Its main topics include topological automorphic forms, conformal field theories, the string group and topological algebraic geometry.

I have missed the first day, having only just returned from a fairly long and very off-line vacation.

Myself. I am speaking about this:

  • Urs Schreiber, Higher prequantum string geometry (pdf)

I’ll be reporting from events at the conference in the comment section below.

Posted at 9:18 PM UTC | Permalink | Followups (25)

August 8, 2012

Categorical Unification

Posted by David Corfield

A couple of postdoc positions have been advertised to work with Bob Coecke and Samson Abramsky on a research project – Categorical unification: where foundational physics, natural language and rational processes meet – in the Department of Computer Science in Oxford. In view of the Executive Summary, I’d be interested to see the full description of the project.

Posted at 4:31 PM UTC | Permalink | Followups (7)