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.

October 31, 2006

Bakovic on 2-Groupoid 2-Torsors

Posted by Urs Schreiber

Today Igor Bakovic gave a talk on his work on the categorification of the notion of principal groupoid fiber bundles.

Igor has a couple of nice results, of which his talk mentioned only few aspects and of which my report here will mention even fewer. When his thesis is finished there should be more to say.

In his talk Igor sketched the definition of torsors for bigroupoids G\mathbf{G}. He indicated how a nonabelian cocycle with values in G\mathbf{G} is obtained from any such torsor and how he hopes that these cocycles are in fact equivalent to G\mathbf{G}-torsors.

Notice that reconstructing a 2-bundle from its local data is usually more subtle than going the other way around. Compare for instance Wirth’s work recently recalled by Stasheff.

Posted at 9:52 PM UTC | Permalink | Followups (7)

Markl on Natural Differential Operators

Posted by Urs Schreiber

Just heard a talk by Martin Markl on

Natural Differential Operators and Graph Complexes.

He explained

  • a way to make precise the idea that certain differential operators (like the Lie derivative, or the covariant derivative) are more natural than others,
  • that all natural differential operators of a certain “type” arise as the 0th cohomology of a complex of graphs,
  • where the graphs appearing here are like string diagrams representing the action of linear operators on tensor powers of vector spaces.
Posted at 8:48 PM UTC | Permalink | Followups (5)

October 30, 2006

Foundations

Posted by David Corfield

Something that has long troubled me is the question of why philosophers have shown what to my mind is an unwarranted interest in ‘foundational’ mathematical theories which make little or no contact with mainstream mathematics. Two posts have made me reconsider the problem. Alexandre Borovik discusses Zilber’s work on the Schanuel conjecture, while Kenny Easwaran wonders whether string theorists may use mathematics which depends on conjectured axioms of set theory.

In comments to both I mention the model theorist Angus MacIntyre’s interest in foundational theories which do make contact with the mainstream. He personally wants to relate some of Gropthendieck’s ideas to model theory. To return to the philosophers, is their interest in disconnected theories just a vestige of earlier failed foundationalist projects, or is there a continuing rationale?

Posted at 9:01 AM UTC | Permalink | Followups (134)

Puzzle #4

Posted by John Baez

This is the 100th blog entry at the n-Category Café! David, Urs and I thank all the people who have come together to make this a fascinating place to talk about philosophy, physics and math.

So, let’s celebrate with a puzzle.

What is the following sentence about?

“Such a brivla, built from the rafsi for the component gismu and cmavo, is called a lujvo.”

Posted at 1:01 AM UTC | Permalink | Followups (15)

October 29, 2006

WZW as Transition 1-Gerbe of Chern-Simons 2-Gerbe

Posted by Urs Schreiber

As a kind of comment to M. Hopkins’ lecture on Chern-Simons theory (I, II, III) I want to describe how the Wess-Zumino-Witten 1-gerbe arises as the transition 1-gerbe of the Chern-Simons 2-gerbe (analogous to how a 1-gerbe itself has transition 0-gerbes, i.e. transition bundles).

I’ll advertise a point of view # where we consider the Chern-Simons 2-gerbe as a 3-bundle with structure 3-group

(1)G 3:=(U(1)Ω^ τGPG) G_3 := (U(1) \to \hat\Omega_\tau G \to P G)

and use the fact that the 2-group

(2)String G:=Ω^ τGPG \mathrm{String}_G := \hat\Omega_\tau G \to P G

is #, as a groupoid with monoidal structure, nothing but the tautological bundle gerbe representation of the canonical “WZW” gerbe at level τ\tau on GG.

Posted at 3:02 PM UTC | Permalink | Followups (6)

October 27, 2006

Hopkins Lecture on TFT: Chern-Simons

Posted by Urs Schreiber

In the third part (following part I and part II) of his 2006 lecture series in Göttingen on topological field theory, Michael Hopkins considered the special case of 3-dimensional topological field theories characterized by classes

(1)τH 4(BG,). \tau \in H^4(B G, \mathbb{Z}) \,.

These are known as Chern-Simons field theories at level τ\tau.

The first part of the talk reviewed some basic concepts in suitable language.

Then the seminal theorem in

D. Freed, M. Hopkins, C. Teleman
Twisted K-theory and loop group representations
math.AT/0312155,

which relates the modular tensor category encoding GG-Chern-Simons theory with the twisted AdG\mathrm{Ad}G-equivariant K-theory on GG - is used as a key for extracting topological information from Chern-Simons TFT 3-functors and reformulating everything in terms of K-theory.

Posted at 11:32 AM UTC | Permalink | Followups (16)

October 26, 2006

Classical vs Quantum Computation (Week 4)

Posted by John Baez

Here are the notes for the latest installment of my course on Classical versus Quantum Computation:

  • Week 4 (Oct. 26) - Currying and uncurrying, evaluation and coevaluation. Basic aspects of the "quantum lambda calculus": so far, the fragment of the lambda calculus that works in any monoidal closed category. The "name" of a morphism. Compact categories.

Last week’s notes are here; next week’s notes are here.

Posted at 9:16 PM UTC | Permalink | Followups (6)

October 25, 2006

Lauda on Topological Field Theory and Tangle Homology

Posted by John Baez

Aaron Lauda an undergrad here at U.C. Riverside, but now he’s finished his Ph.D at Cambridge and is a postdoc at Columbia. I just got a copy of his thesis:

It’s a great tour of these subjects!

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

Hopkins Lecture on TFT: Infinity-Category Definition

Posted by Urs Schreiber

In the second part of his lecture on topological field theory (notes on the first part were reproduced here) Michael Hopkins sketched what he currently sees as the emerging picture for the nn-tiered (aka “extended”) formulation of the definition of topological (quantum) field theory.

As I mentioned last time, in this picture one wants to refine the standard formulation in terms of 1-functors

(1)TFT:dCobVect \mathrm{TFT} : d\mathrm{Cob} \to \mathrm{Vect}

by passing to nn-functors into something like nn-vector spaces.

In order to do so, M. Hopkins reviewed rudiments of the definition of weak ω\omega-categories in terms of complicial sets, due to Street and Verity.

Ross Street
Weak omega-categories
(pdf).

He then sketched how he imagines forming an ω\omega-category of dd-manifolds, d(n)\mathcal{M}_\bullet^d(n), such that together with a suitable ω\omega-category RR with an E E_\infty ring structure, one would say that

An nn-tiered dd-dimensional topological field theory is a morphism of ω\omega-categories

(2)TFT: d(n)R. \text{TFT} : \mathcal{M}^d(n) \to R \,.
Posted at 9:01 PM UTC | Permalink | Followups (22)

Hopkins Lecture on TFT: Introduction and Outlook

Posted by Urs Schreiber

I am currently in Göttingen, attending the lecture series by M. Hopkins that I mentioned recently #, called

Topological Aspects of Topological Field Theory.

Yesterday we heard the first of three parts, titled Introduction to topological field theories. Michael Hopkins mentioned a couple of basic notions and concepts of topological field theories and, in closing, briefly indicated some of the more profound issues concerning the relation between Chern-Simons theory, categorification, K-theory # and elliptic cohomology #.

Here is a transcript of notes I have taken during this first lecture.

Posted at 9:46 AM UTC | Permalink | Followups (9)

Puzzle #3

Posted by John Baez

For which 1998 referendum in Washington D.C. did the United States Congress pass a special bill to prevent the votes from even being counted?

Extra credit: do you know other cases where special laws were enacted to prevent votes from being counted?

Posted at 7:32 AM UTC | Permalink | Followups (2)

October 23, 2006

Knowledge of the Reasoned Fact

Posted by David Corfield

In a comment I raised the question of what to make of our expectation that behind different manifestations of an entity there is one base account, of which these manifestations are consequences.

If I point out to you three manifestations of the normal distribution - central limit theorem; maximum entropy distribution with fixed first two moments; approached by distribution which is the projection onto 1 dimension of a uniform distribution over the nn-sphere of radius n\sqrt{n} as nn increases - it’s hard not to imagine that there’s a unified story behind the scenes.

Perhaps it would encourage a discussion if I put things in a contextual setting.

Posted at 1:25 PM UTC | Permalink | Followups (26)

This Week’s Finds in Mathematical Physics (Week 240)

Posted by John Baez

In week240 of This Week’s Finds you can learn the value of 00, learn how to play chessgo, and read about Dolan and Trimble’s work on cartesian closed categories and holodeck games:



Posted at 1:34 AM UTC | Permalink | Followups (3)

October 20, 2006

Classical vs Quantum Computation (Week 3)

Posted by John Baez

This week we had a guest lecture in our course on Classical versus Quantum Computation:

If you read this stuff you’ll learn what Star Trek has to do with categories - and you’ll learn how to play

chess go chess^{go}

Last week’s notes are here; next week’s notes are here.

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

October 19, 2006

Algebras as 2-Categories and its Effect on Algebraic Geometry

Posted by Urs Schreiber

Here is another question from Bruce Bartlett which really deserves to be a post of its own (see also his last question of this type)… it’s about categories of algebras, algebras as categories and the possible implications for non-commutative algebraic geometry.

Posted at 12:15 PM UTC | Permalink | Followups (12)

A Course on Classical Mechanics

Posted by John Baez

Here’s a course on classical mechanics for people who can handle some differential geometry:

This may come in handy if you’re following this Fall’s course on quantization and cohomology - so far we’re mostly covering the same ground at high speed, but soon we’ll shoot ahead.

Posted at 1:47 AM UTC | Permalink | Followups (7)

October 18, 2006

Australian Category Theory

Posted by John Baez

The prowess of Australians in higher category theory is renowned worldwide. They’re way ahead of us. If you don’t know what I’m talking about, read this:

For example, check out the fun story on page 4 where an Australian student, asked if he knew the definition of a topological space, correctly but incomprehensibly replied:

Yes, it is a relational β-module!

So, it behooves the rest of us to watch what they’re up to down under. For this reason, I plan to occasionally post comments to this article, announcing talks at the Australian Category Seminar. I won’t be obsessively systematic, so I apologize in advance for everyone’s talks that I forget to announce.

You can easily spot new comments by looking under “Recent Comments” on the right side of this blog. We engage in a lot of protracted discussions, so that’s a handy feature.

Posted at 10:08 PM UTC | Permalink | Followups (15)

Topology in Trondheim and Kro, Baas & Bökstedt on 2-Vector Bundles

Posted by Urs Schreiber

The Nordic Conference in Topology takes place in Trondheim, 24-25 November 2006.

A few 2-categorical talks are announced, in particular concerning 2-bundles.

B. Dundas gives a talk titled 2-vector bundles and KK-theory of KK-theory, which, I am being told, is concerned with new progress on the old approach by Baas, Dundas & Rognes to conceive “forms of elliptic cohomology” in terms of 2-vector bundles.

In the same vein, Tore A. Kro talks about 2-categorical KK-theories, which is apparently based on

N. Baas, M. Bökstedt & T. A. Kro
2-categorical K-theories
Royal Swedish Academy of Sciences, Institut Mittag-Leffler
preprint, spring 2006, nr. 43

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

D-Branes from Tin Cans: Arrow Theory of Disks

Posted by Urs Schreiber

Participants of the seminar Quantization and Cohomology are being asked to think about categorification of quantum mechanics. Being the remote participant that I am, I follow the seminar by gnawing on

Exercise C: Categorify the quantum theory of the charged particle.

Hints:

  1. Find the right arrow theory.

    You know that it is right when

    • it categorifies smoothly;
    • the result reproduces existing theory, where available

      (many people have thought about the categorified point before in different language - you should reproduce whatever is good about their results).

  2. It is not a coincidence that parallel transport in a bundle as well as propagation in QFT both are functors taking values in vector spaces. Use the former as a guide to the latter and explain the relation.

Posted at 2:17 PM UTC | Permalink | Followups (9)

October 17, 2006

Classical vs Quantum Computation (Week 2)

Posted by John Baez

Here are the notes for the latest installment of my course on classical versus quantum computation:

  • Week 2 (Oct. 12) - Monoidal categories versus cartesian categories. Closed monoidal categories.

Last week’s notes are here; next week’s notes are here.

Posted at 11:45 PM UTC | Permalink | Followups (86)

October 16, 2006

Crossed Products and Not All That

Posted by Guest

[The following entry is by A. Rivero. He volunteered # to report from a lecture series currently given by Alain Connes, concerned with the application of spectral geometry to the physics of the standard model #. This entry here is a warmup. - urs]


Hi, this is A. Rivero speaking. I am invited to the guest account mainly to follow the topic of Connes’s spectral action in a couple of postings, but while we wait for the Connes-Marcolli-Chamseddine paper, I am doing a bit of effort to train myself on crossed products and Morita equivalence.

Posted at 1:13 PM UTC | Permalink | Followups (23)

Adjunctions and String Composition

Posted by Urs Schreiber

At one of our Café tables # Jim Stasheff listed a couple of different notions of paths with composition. In particular, motivated by string field theory, people have considered categories whose

  • morphisms are parameterized paths γ:[0,1]M\gamma : [0,1] \to M
  • composition γ 1γ 2\stackrel{\gamma_1}{\to}\stackrel{\gamma_2}{\to} of which is defined whenever a portion γ c\gamma_c of the end of γ 1=γ 1lγ c \stackrel{\gamma_1}{\to} = \stackrel{\gamma_{1l}}{\to}\stackrel{\gamma_{c}}{\to} is the reverse γ¯ c\bar \gamma_c of a portion of the beginning of γ 2\gamma_2 γ 2=γ¯ cγ 2r, \stackrel{\gamma_2}{\to} = \stackrel{\bar \gamma_{c}}{\to}\stackrel{\gamma_{2r}}{\to} \,, in which case the composition is the result of cancelling both copies of this portion, like this: (γ 1)(γ 2) = (γ 1lγ c)(γ¯ cγ 2r) γ 1lγ 2r = γ 2γ 1. \array{ (\stackrel{\gamma_1}{\to})(\stackrel{\gamma_2}{\to}) \\ \;\;\Downarrow = \\ (\stackrel{\gamma_{1l}}{\to}\stackrel{\gamma_{c}}{\to}) (\stackrel{\bar \gamma_{c}}{\to}\stackrel{\gamma_{2r}}{\to}) \\ \Downarrow \\ \stackrel{\gamma_{1l}}{\to}\stackrel{\gamma_{2r}}{\to} \\ \;\;\Downarrow = \\ \stackrel{\gamma_2 \circ \gamma_1}{\to} } \,.

If we agree that the cancelled portion is always exactly one half of the string, we are left with the associative composition going back to

Edward Witten
Noncommutative Geometry And String Field Theory.
Nucl.Phys.B268:253,1986 .

If, however, we allow arbitrary portions to be cancelled we get a nontrivial associator.

Here I just want to notice that all these compositions can be nicely understood as coming from special ambidextrous adjunctions in the 2-category P 2(X) P_2(X) whose objects are points of XX, whose morphisms are parameterized paths in XX and whose 2-morphisms are, for instance, thin homotopy classes of 2-paths.

Posted at 11:51 AM UTC | Permalink | Post a Comment

October 15, 2006

The Encyclopaedists’ Dream

Posted by David Corfield

I’m just finishing off a talk I was asked to give to my Machine Learning group at a retreat tomorrow. They want me to give them an ‘Epistomology for Dummies’. As I’m more at home with Anglophone philosophy of science approaches, I thought I’d better take a look at other approaches, both Anglo-American and Continental. As a first step I tried out the English, French and German Wikipedia articles. What a wonderfully varied range of accounts, from the Anglo-American Epistemology, which gives pride of place to Gettier’s demolition of the justified true belief account of knowledge, to the French Épistémologie, which dwells largely on philosophy of science, to the German Erkenntnistheorie, which finds space to talk about theology and politics, Hegel and Schopenhauer. Even when the French Théorie de la connaissance starts off with Gettier, it rapidly drifts into a ragbag of non-Anglophone topics.

Posted at 2:00 PM UTC | Permalink | Post a Comment

October 13, 2006

Bundle Gerbes: Connections and Surface Transport

Posted by Urs Schreiber

A continuation of my proposed addition # to the Wikipedia entry on bundle gerbes.

By the way, if anyone reading this is versed in Wikipedia editing and feels like inserting these nn-Café entries nicely formatted into Wikipedia, I’d very much appreciate it. I can offer the source code on request, if that helps.

Posted at 1:42 PM UTC | Permalink | Followups (23)

Bundle Gerbes: General Idea and Definition

Posted by Urs Schreiber

I was asked to edit the Wikipedia entry on bundle gerbes.

For one, it does not actually say what a bundle gerbe is. Another thing is that it falsely attributes the insight that the Wess-Zumino term in the WZW-model arises as a special case of parallel 2-transport to us. That should be corrected.

I’ll develop my contribution here, before copying it to Wikipedia.

Posted at 10:17 AM UTC | Permalink | Followups (17)

October 11, 2006

What is the Categorified Gelfand-Naimark Theorem?

Posted by Urs Schreiber

Bruce Bartlett has made a very fruitful observation, dealing with which requires a good understanding of a couple of details of

John Baez
Higher-Dimensional Algebra II: 2-Hilbert Spaces
q-alg/9609018.

Since we seem to need those details - and since I keep forgetting them - I’ll give a very condensed review of the main points.

Posted at 5:01 PM UTC | Permalink | Followups (10)

Wittgenstein and Thurston on Understanding

Posted by David Corfield

Two contributions to the Berlin Workshop I didn’t mention addressed the Jaffe-Quinn debate (original article, 15 mathematicians reply, Thurston replies, Jaffe and Quinn reply to the replies). Michael Stoeltzner spoke on The Ontology of Mathematics, while Oliver Petersen argued that Wittgenstein could offer us a way out of the bind at stake in the debate between Jaffe and Quinn, on the one hand, and Thurston on the other, by radicalising the former’s contentions about the importance to the health of mathematics of providing rigorous proofs for conjectures.

Posted at 9:42 AM UTC | Permalink | Followups (5)

Euler Characteristic of a Category

Posted by David Corfield

After Baez and Dolan taught us about groupoid cardinality (p. 15), now Tom Leinster teaches us about the Euler characteristic of a category.

I wonder if anything further has been done about the former’s wonderfully wild idea that the Euler characteristic of the sphere, i.e., 2, should be the same as what they call its homotopy cardinality on the page mentioned above, defined as an alternating product of the orders of the homotopy groups of the sphere.

Posted at 8:38 AM UTC | Permalink | Followups (92)

Categorified Gelfand-Naimark Theorem and Vector Bundles with Connection

Posted by John Baez

Here’s a question from Bruce Bartlett which really deserves to be a post of its own… it’s about path groupoids, the categorified Gelfand-Naimark theorem, and vector bundles!

Posted at 2:04 AM UTC | Permalink | Followups (68)

Quantization and Cohomology (Week 2)

Posted by John Baez

Here are the notes for this week’s class on Quantization and Cohomology:

Last week’s notes are here; next week’s notes are here.

A spring in imaginary time, you ask? Read on…

Posted at 1:19 AM UTC | Permalink | Followups (19)

October 10, 2006

Talks by Hopkins and Willerton

Posted by Urs Schreiber

Since I already announced our next colloquium talk # I might just as well mention a few other interesting upcoming events - at least for those who spend the next month or so in central Europe.

  • In the context of the Andrejewski lecture series, Michael Hopkins gives a series of lectures on Topological aspects of topological field theory at the math institute of Universität Göttingen, consisting of three talks

    • Tuesday 24. October, Introduction to topological field theories
    • Wednesday 25. October, Topological methods in topological field theories
    • Thursday 26. October, The Wess-Zumino-Witten conformal blocks
    I hope to be there at least Wednesday and Thursday.
  • In the first of next semester’s colloquium of our Center for Mathematical Physics, Simon Willerton will talk about Gerbes, groupoids and Dijkgraaf-Witten theory, from the point of view of higher categories along the lines of Freed’s approach; November 9, here in Hamburg.

    See for instance

    S. Willerton
    The twisted Drinfeld double of a finite group via gerbes and finite groupoids
    math.QA/0503266

Posted at 7:19 PM UTC | Permalink | Followups (3)

Kosmann-Schwarzbach & Weinstein on Lie Algebroid Classes

Posted by Urs Schreiber

On October 24 Yvette Kosmann-Schwarzbach will give a talk in the Hamburg math colloquium on

Modular classes and relative modular classes in Lie algebroid theory

based on work with Alan Weinstein

Y. Kosmann-Schwarzbach & A. Weinstein
Relative modular classes of Lie algebroids
math.DG/0508515

and Camille Laurent-Gengoux

Y. Kosmann-Schwarzbach & C. Laurent-Gengoux
The modular class of a twisted Poisson structure
math.SG/0505663 .

Posted at 12:52 PM UTC | Permalink | Followups (1)

October 9, 2006

On n-Transport: Descent of the Universal Transition

Posted by Urs Schreiber

Last time # I talked about how the category of nn-paths (I consider n=1n=1 and n=2n=2 only) in a space XX and that of nn-paths in a regular surjection

(1)p:P n(Y)P n(X) p : P_n(Y) \to P_n(X)

give rise to the universal local transition P n(Y )P_n(Y^\bullet) of nn-transport # on XX; and that this is nothing but the category of nn-paths in YY which may “jump” between different lifts along pp.

Moreover, from any pp-local transition data of nn-transport (trivial transport on single patches, transitions gg of that on double intersections, transitions ff of these on triple intersections, and so on) one obtains a 2-transport

(2)(tra Y,g,f):P 2(Y )T. (\mathrm{tra}_Y,g,f)\; :\; P_2(Y^\bullet) \to T \,.

Clearly, this wants to descend to XX. The descent is manifest if

(3)P 2(Y )P 2(X). P_2(Y^\bullet) \simeq P_2(X) \,.

For general YY the constructions of this equivalence that I have managed to come up with (e.g. section 3. here) are a little unwieldy. But with a certain assumption on YY (which in common applications is always possible) it looks much better:

\,\,\,descent of the universal transition.

Posted at 6:56 PM UTC | Permalink | Post a Comment

Philosophy of Physics

Posted by David Corfield

Next month sees the publication of The North Holland Handbook of Philosophy of Physics. Interaction between philosophers and practitioners is very good in this field. For one, as I pointed out in another post, philosophers of physics tend to know a lot more about physics than philosophers of mathematics do about mathematics. Second, as the blurb says,

Some of the best work in the philosophy of physics is being done by physicists, as witnessed by the fact that several of the contributors to the volume are theoretical physicists: viz., Ellis, Emch, Harvey, Landsman, Rovelli, t Hooft, the last of whom is a Nobel laureate.

One of the chapters of the Handbook would provide some further background to classical mechanics for John’s course. It’s Jeremy Butterfield’s On Symplectic Reduction in Classical Mechanics. (John once gave some lectures the Hamiltonian way, but only has notes for his Lagrangian course.) Jeremy is one of the editors of the Handbook and is a philosopher of physics based in Oxford.

In the aforementioned post, I also suggest there that philosophers of physics could be doing much more to influence the direction of mainstream analytic philosophy, such as disrupting received ideas of metaphysics. Jeremy is someone who has attempted to do precisely this.

Posted at 9:56 AM UTC | Permalink | Followups (4)

October 8, 2006

Zooming Out in Time

Posted by John Baez

How can we detect and understand oncoming crises in time to avert them? Sometimes we must “zoom out”: expand our perspective and find similar situations in the distant past. A good example is climate change. What can a few degrees of warming do? To answer this, we need to know some history: how the Earth’s climate has changed over the last 65 million years.

Posted at 3:07 AM UTC | Permalink | Followups (10)

October 6, 2006

Classical vs Quantum Computation (Week 1)

Posted by John Baez

Here are yesterday’s notes on classical versus quantum computation:

  • Week 1 (Oct. 5) - Types and operations. Categories as theories. Monoidal categories versus categories with finite products - also known as “cartesian categories”.
    • Homework: show that every category with finite products can be made into a monoidal category - see above notes for details.

Last week’s notes are here; next week’s notes are here.

Posted at 8:09 PM UTC | Permalink | Followups (8)

On n-Transport: Universal Transition

Posted by Urs Schreiber

Further chasing the nn-transport # Illuminati:

Abstract:

To any morphism p:P 2(Y)P 2(X)p : P_2(Y) \to P_2(X) of domains of 2-transport, we may associate a universal pp-local transition. The associated object turns out to be the category of 2-paths in the 2-groupoid Y Y^\bullet. The associated factorization morphism turns out to be the descending trivialized transport.

A remark related to our discussion # of reconstructing # 2-transport from local data.

Posted at 4:19 PM UTC | Permalink | Followups (16)

So Irigaray was Right?

Posted by David Corfield

A very long time ago, while teaching in a Cultural Studies department, I taught on an introductory course on postmodernism. One of the thinkers we treated was Luce Irigaray:

Irigaray examines the systematic suppression of feminine and maternal concerns from the history of Western philosophy in Ce sexe qui n’en est pas un (This sex which is not one) (1977), arguing that valorization of the masculine is destructive to the fluid multiplicity of feminine sexuality.

Now, Irigaray was one of the targets of Sokal and Bricmont:

Alan Sokal and Jean Bricmont’s Fashionable Nonsense criticizes Irigaray, as a general example of what they believe is the anti-scientific tendency of “postmodernism”. They cite her analyses of E=mc 2E=mc^{2} as a “sexed equation” (because it privileges the speed of light) and her argument that fluid mechanics has been neglected by “masculine” science that prefers to deal with “masculine” rigid objects rather than “feminine” fluids. (Wikipedia)

No surprise for Irigarayans then but that a woman, Penny Smith, should sort out the Navier-Stokes equations. All they need show now is the irrelevance of the fact that, as with any mathematician, Smith’s work emerges from a vast communal effort. E.g., according to Christina Sormani, Smith told her:

It was Marsden’s book [Applications of Global Analysis in Mathematical Physics] which talked about the geometric theory of both Einstein Cauchy and NS Cauchy that got me into both problems.

And then there’s the small worry that relativity and hydrodynamics may be quite closely related.

Without wishing to suppress the fluidity, what opportunities are there for categorified Navier-Stokes?

Posted at 10:03 AM UTC | Permalink | Followups (22)

October 5, 2006

Quantization and Cohomology (Week 1)

Posted by John Baez

This fall I’m also teaching a seminar on quantization and cohomology. Derek Wise is taking notes, which you can get as PDF files here:

I’ll create a blog entry for each week’s lecture, and anyone with something to say or ask can post comments. So, it’s a bit like an online course. Here are this Tuesday’s notes:

  • Week 1 (Oct. 3) - How the dynamics of p-branes resembles the statics of (p+1)-branes.

Next week’s notes are here. For a syllabus, read on…

Posted at 5:56 PM UTC | Permalink | Followups (45)

New Scientist Reacts!

Posted by John Baez

You may recall Greg Egan’s plea to save the magazine New Scientist from a rising tide of crackpottery after it published a glowing article about a propulsion system called the EmDrive. According to its inventor, Roger Shawyer, this drive can push a rocket forwards by bouncing microwaves back and forth in a box. The article didn’t mention that this violates conservation of momentum.

A bunch of us wrote emails to the magazine, with no apparent reaction.

Now they’ve reacted! New Scientist now has a blog thread on the Shawyer article. It starts with a statement by the editor defending the article - see below.

I urge folks who sent email to New Scientist or comments on this blog to post them on the New Scientist blog. That way, your opinions will be publicly visible. But please: be polite, rational, and crystal-clear. There’s nothing to be gained by rudeness.

Posted at 4:15 PM UTC | Permalink | Followups (25)

Trimble’s Definition of Tetracategory

Posted by John Baez

Trimble’s legendary lost definition of “tetracategory”is now available here:

Posted at 3:08 AM UTC | Permalink | Followups (5)

October 4, 2006

λ-Calculus in Paris

Posted by John Baez

Since I’m getting into the λ-calculus and I’ll be visiting Paul-André Melliès of the Proofs, Programs and Systems group at CNRS next July, I’m tempted to go a bit early and attend this:

At least I hope someone reading this attends and reports back to us!

More information follows…

Posted at 7:49 PM UTC | Permalink | Followups (1)

Emulating Aristotle

Posted by David Corfield

That’s step 2 of the attempted Renaissance man emulation over. On Monday night, Nick Read and I discussed our books, Sick and Tired and Why Do People Get Ill? at the Ilkley Literature Festival. It’s excellent that such a small town can attract high-selling writers (Jeremy Paxman, John Simpson, Andrew Motion,…).

Posted at 2:12 PM UTC | Permalink | Followups (2)

Wang at AustMS 2006

Posted by Guest

The following “guest post” is by David Roberts:

At the Australian Mathematical Society’s annual meeting in Sydney, Brian Wang gave the talk Gerbes, D-branes and loop group representations. This is of particular interest to at least one blogger here, so I provide some details.

Posted at 8:23 AM UTC | Permalink | Followups (5)

October 3, 2006

Classical vs Quantum Computation (Week 1)

Posted by John Baez

This fall I’m teaching a seminar on classical versus quantum computation, with an emphasis on cartesian closed categories and their quantum generalizations. Derek Wise is taking notes, which you can get as PDF files here:

I’ll create a blog entry for each week’s lecture, and anyone with something to say or ask can post comments. So, it’s a bit like an online course! Here are last Thursday’s notes:

Next week’s notes are here. For a syllabus, read on…

Posted at 9:48 PM UTC | Permalink | Followups (12)

October 2, 2006

Voevodsky on the Homotopy λ-Calculus

Posted by John Baez

After Vladimir Voevodsky won the Fields medal, his research took a surprising turn. Instead of applying homotopy theory to algebraic geometry, he began applying it to computer science. Now he has made this available:

This appeared on a mailing list for announcements on type theory in computer science. I thank Benoit Valiron for bringing this to my attention and preparing the above Postscript version - I couldn’t read Voevodsky’s original PDF file.

Posted at 6:40 PM UTC | Permalink | Post a Comment

Topos Theory at Chicago

Posted by John Baez

Tom Fiore of the University of Chicago writes:

The Category Theory Seminar will meet Thursdays 3-4 in Eckhart 203. This quarter we will have a series of talks on topos theory, model categories, and quasicategories. These current topics lie at the intersection of algebraic geometry, topology, logic, and higher category theory, and may be of interest to a wider audience. We will begin with an introduction to topos theory this Thursday, October 5th with a talk by Mike Shulman. Our website is below:

Here’s the abstract for Shulman’s talks…

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

October 1, 2006

The Consolation of n-Categories

Posted by David Corfield

As mentioned here, Good Life in the Scientific Revolution: Descartes, Pascal, Leibniz, and the Cultivation of Virtue by Matthew L. Jones should be well worth reading. Here’s the publisher’s blurb:

Amid the unrest, dislocation, and uncertainty of seventeenth-century Europe, readers seeking consolation and assurance turned to philosophical and scientific books that offered ways of conquering fears and training the mind - guidance for living a good life.

Posted at 12:26 PM UTC | Permalink | Followups (33)

Klein 2-Geometry VI

Posted by David Corfield

It’s time to convene the sixth monthly session of the longest running Pro-Am math event in the blogosphere. The September session won’t go down in history as one of the most productive of the series. The Professional was justifiably distracted. To recap on the last steps taken. John asked us to

guess the precise description of the projective space associated to k p,qk^{p,q}.

The answer to this was: kP p1kP^{p-1} worth of objects each with k qk^{q} worth of automorphisms.

John then asked for a description of all categorified Grassmanians. I attempted an answer, raised a concern, and posed a question.

Posted at 10:22 AM UTC | Permalink | Followups (79)

Puzzle #2

Posted by John Baez

The names of which pair of Shakespearean characters appear on the astronomer Tycho Brahe’s coat of arms - in the list of his ancestors?

For extra credit: why? (Nobody seems to know.)

Posted at 6:30 AM UTC | Permalink | Followups (10)