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.

July 11, 2005

Monday at the Streetfest I

Posted by Guest

While others report from conferences on Strings or Loops, in Sydney we are enjoying the balmy winter and the calls of the cockatoos and lorakeets. The Streetfest, in honour of Ross Street’s 60th birthday, got under way yesterday. Day one was very maths oriented.

The first talk was by Joyal, a well known collaborator of Ross Street. He spoke about quasicategories; an amazingly clear speaker.

The theory of quasicategories is developed as an extension of both ordinary category theory and homotopical algebra (a la Quillen). The hope is that it will yield insights into the development of both higher category theory and homotopical algebra.

Let S be the category of simplicial sets, that is functors from Δ 0 into Set. A simplicial set is called a quasicategory if every horn Λ k(n)X0 <k<n can be filled.

An example of a quasicategory is then a Kan complex.

The left adjoint τ of the nerve functor N:CatS preserves products, so can be used to give a 2-category structure on S. The Hom category is given by τ(B A) and the product gives the composition law. This 2-categorical structure is used to define equivalences of quasicategories. The category QCat of quasicategories is Cartesian closed.

As an application of this, whereas in Cat one looks at discrete fibrations where X 2 Y 2 × YX is an isomorphism, in the extension to QCat one demands that this is a trivial fibration. Think of fibres of fibrations being Kan complexes.

Next, Borceux spoke about semi-direct products and the representability (in a categorical sense) of actions. Later in the day Johnstone followed this with a talk on his work on bi-Heyting toposes. He had been trying to prove a conjecture: that E bi-Heyting implies “there exists an essential surjection BE for B Boolean. Instead he found a counterexample: the sheaves on [0,1 ] as a complete Heyting algebra.

I’d like to talk about Borceux’s talk - but no time now. If there are any real category theorists reading this who would like to correct any misunderstandings - please comment! Lectures about to start on Tuesday…so I’m off.

Marni Sheppeard

Addendum from David: the talk has started, Marni’s run off, and I’m just trying to tidy this up - failed, I know, so maybe it can be fixed later.


Posted at July 11, 2005 11:18 PM UTC

TrackBack URL for this Entry:

3 Comments & 2 Trackbacks

Re: From the Streetfest I

Sorry everybody. I’m trying to figure out why the tex is a mess: superscripts aren’t working…

Posted by: Marni Sheppeard on July 12, 2005 4:44 AM | Permalink | Reply to this

Re: From the Streetfest I

While others report from conferences on Strings or Loops, in Sydney we are enjoying the balmy winter and the calls of the cockatoos and lorakeets.

Cool. Many thanks to our news correspondents Marni and David!

I’ll supplement a couple of links:

- Joyal’s abstract

- the category of simplicial sets

- the simplicial category Δ (what is the superscript in Δ 0 ?)

- the nerve

- horns and Kan complexes: page 4 of HDA III and page 42 of Leinster’s Survey of Definitions of n-Category (how does quasicategory relate to the constructions discussed at these links?)

- Borceaux’s abstract

- Johnstone’s abstract

- Heyting algebra

Posted by: Urs Schreiber on July 12, 2005 12:28 PM | Permalink | Reply to this

Re: From the Streetfest I

superscripts aren’t working…

Everything looks fine on the configurations that I tried (Win XP + Firefox as well as Debian + Mozilla).

Note that the preview function on the admin page does not (currently) display math correctly even if it appears correctly when the article is published.

Posted by: Urs Schreiber on July 12, 2005 12:44 PM | Permalink | Reply to this
Read the post 2-Connections on 2-Bundles
Weblog: The String Coffee Table
Excerpt: 2-connections on 2-bundles once again
Tracked: December 2, 2005 3:09 PM
Read the post Kapranov and Getzler on Higher Stuff
Weblog: The String Coffee Table
Excerpt: Lecture notes of talks by Kapranov on noncommutative Fourier transformation and by Getzler on Lie theory of L_oo algebras.
Tracked: June 22, 2006 8:00 PM

Post a New Comment