October 31, 2006
Bakovic on 2Groupoid 2Torsors
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 $\mathbf{G}$. He indicated how a nonabelian cocycle with values in $\mathbf{G}$ is obtained from any such torsor and how he hopes that these cocycles are in fact equivalent to $\mathbf{G}$torsors.
Notice that reconstructing a 2bundle from its local data is usually more subtle than going the other way around. Compare for instance Wirth’s work recently recalled by Stasheff.
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.
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?
Puzzle #4
Posted by John Baez
This is the 100th blog entry at the nCategory 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.”
October 29, 2006
WZW as Transition 1Gerbe of ChernSimons 2Gerbe
Posted by Urs Schreiber
As a kind of comment to M. Hopkins’ lecture on ChernSimons theory (I, II, III) I want to describe how the WessZuminoWitten 1gerbe arises as the transition 1gerbe of the ChernSimons 2gerbe (analogous to how a 1gerbe itself has transition 0gerbes, i.e. transition bundles).
I’ll advertise a point of view # where we consider the ChernSimons 2gerbe as a 3bundle with structure 3group
and use the fact that the 2group
is #, as a groupoid with monoidal structure, nothing but the tautological bundle gerbe representation of the canonical “WZW” gerbe at level $\tau$ on $G$.
October 27, 2006
Hopkins Lecture on TFT: ChernSimons
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 3dimensional topological field theories characterized by classes
These are known as ChernSimons 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 Ktheory and loop group representations
math.AT/0312155,
which relates the modular tensor category encoding $G$ChernSimons theory with the twisted $\mathrm{Ad}G$equivariant Ktheory on $G$  is used as a key for extracting topological information from ChernSimons TFT 3functors and reformulating everything in terms of Ktheory.
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.
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:
 Aaron Lauda, Openclosed topological quantum field theory and tangle homology, PhD thesis, Cambridge University, 2006.
It’s a great tour of these subjects!
Hopkins Lecture on TFT: InfinityCategory 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 $n$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 1functors
by passing to $n$functors into something like $n$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 omegacategories
(pdf).
He then sketched how he imagines forming an $\omega$category of $d$manifolds, $\mathcal{M}_\bullet^d(n)$, such that together with a suitable $\omega$category $R$ with an $E_\infty$ ring structure, one would say that
An $n$tiered $d$dimensional topological field theory is a morphism of $\omega$categories
(2)$\text{TFT} : \mathcal{M}^d(n) \to R \,.$
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 ChernSimons theory, categorification, Ktheory # and elliptic cohomology #.
Here is a transcript of notes I have taken during this first lecture.
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?
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 $n$sphere of radius $\sqrt{n}$ as $n$ 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.
This Week’s Finds in Mathematical Physics (Week 240)
Posted by John Baez
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:

Week 3 (Oct. 19)  Guest lecture by James Dolan: Holodeck strategies and cartesian closed categories.
 James Dolan, Holodeck strategies and the lambdacalculus (a continuation of the above lecture).
 Todd Trimble, Holodeck games and CCCs (rigorous definitions and proofs).
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}$
Last week’s notes are here; next week’s notes are here.
October 19, 2006
Algebras as 2Categories 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 noncommutative algebraic geometry.
A Course on Classical Mechanics
Posted by John Baez
Here’s a course on classical mechanics for people who can handle some differential geometry:
 John Baez and Derek Wise, Classical Mechanics, Spring 2005.
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.
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:
 Ross Street, An Australian conspectus of higher category theory, to appear in the proceedings of nCategories: Foundations and Applications, eds. J. Baez and P. May.
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.
Topology in Trondheim and Kro, Baas & Bökstedt on 2Vector Bundles
Posted by Urs Schreiber
The Nordic Conference in Topology takes place in Trondheim, 2425 November 2006.
A few 2categorical talks are announced, in particular concerning 2bundles.
B. Dundas gives a talk titled 2vector bundles and $K$theory of $K$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 2vector bundles.
In the same vein, Tore A. Kro talks about 2categorical $K$theories, which is apparently based on
N. Baas, M. Bökstedt & T. A. Kro
2categorical Ktheories
Royal Swedish Academy of Sciences, Institut MittagLeffler
preprint, spring 2006, nr. 43
DBranes 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:

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).

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.
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.
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 ConnesMarcolliChamseddine paper, I am doing a bit of effort to train myself on crossed products and Morita equivalence.
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 $\gamma : [0,1] \to M$
 composition $\stackrel{\gamma_1}{\to}\stackrel{\gamma_2}{\to}$ of which is defined whenever a portion $\gamma_c$ of the end of $\stackrel{\gamma_1}{\to} = \stackrel{\gamma_{1l}}{\to}\stackrel{\gamma_{c}}{\to}$ is the reverse $\bar \gamma_c$ of a portion of the beginning of $\gamma_2$ $\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: $\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 2category $P_2(X)$ whose objects are points of $X$, whose morphisms are parameterized paths in $X$ and whose 2morphisms are, for instance, thin homotopy classes of 2paths.
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 AngloAmerican 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 AngloAmerican 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 nonAnglophone topics.
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 $n$Café entries nicely formatted into Wikipedia, I’d very much appreciate it. I can offer the source code on request, if that helps.
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 WessZumino term in the WZWmodel arises as a special case of parallel 2transport to us. That should be corrected.
I’ll develop my contribution here, before copying it to Wikipedia.
October 11, 2006
What is the Categorified GelfandNaimark 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
HigherDimensional Algebra II: 2Hilbert Spaces
qalg/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.
Wittgenstein and Thurston on Understanding
Posted by David Corfield
Two contributions to the Berlin Workshop I didn’t mention addressed the JaffeQuinn 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.
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.
Categorified GelfandNaimark 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 GelfandNaimark theorem, and vector bundles!
Quantization and Cohomology (Week 2)
Posted by John Baez
Here are the notes for this week’s class on Quantization and Cohomology:

Week 2 (Oct. 10)  The Lagrangian approach to classical mechanics. Action as the integral of a 1form (prelude).
 Homework: A spring in imaginary time.
Last week’s notes are here; next week’s notes are here.
A spring in imaginary time, you ask? Read on…
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 WessZuminoWitten conformal blocks

In the first of next semester’s colloquium of our Center for Mathematical Physics, Simon Willerton will talk about Gerbes, groupoids and DijkgraafWitten 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
KosmannSchwarzbach & Weinstein on Lie Algebroid Classes
Posted by Urs Schreiber
On October 24 Yvette KosmannSchwarzbach 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. KosmannSchwarzbach & A. Weinstein
Relative modular classes of Lie algebroids
math.DG/0508515
and Camille LaurentGengoux
Y. KosmannSchwarzbach & C. LaurentGengoux
The modular class of a twisted Poisson structure
math.SG/0505663 .
October 9, 2006
On nTransport: Descent of the Universal Transition
Posted by Urs Schreiber
Last time # I talked about how the category of $n$paths (I consider $n=1$ and $n=2$ only) in a space $X$ and that of $n$paths in a regular surjection
give rise to the universal local transition $P_n(Y^\bullet)$ of $n$transport # on $X$; and that this is nothing but the category of $n$paths in $Y$ which may “jump” between different lifts along $p$.
Moreover, from any $p$local transition data of $n$transport (trivial transport on single patches, transitions $g$ of that on double intersections, transitions $f$ of these on triple intersections, and so on) one obtains a 2transport
Clearly, this wants to descend to $X$. The descent is manifest if
For general $Y$ 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 $Y$ (which in common applications is always possible) it looks much better:
$\,\,\,$descent of the universal transition.
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.
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.
 John Baez, Zooming Out in Time, one of the Seminars About LongTerm Thinking at the Long Now Foundation. Doors open at 7 pm at The Cowell Theater, San Francisco, Friday October 13, 02006.
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.
On nTransport: Universal Transition
Posted by Urs Schreiber
Further chasing the $n$transport # Illuminati:
Abstract:
To any morphism $p : P_2(Y) \to P_2(X)$ of domains of 2transport, we may associate a universal $p$local transition. The associated object turns out to be the category of 2paths in the 2groupoid $Y^\bullet$. The associated factorization morphism turns out to be the descending trivialized transport.
A remark related to our discussion # of reconstructing # 2transport from local data.
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 antiscientific tendency of “postmodernism”. They cite her analyses of $E=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 NavierStokes 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 NavierStokes?
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:
 John Baez and Derek Wise, Quantization and Cohomology.
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 pbranes resembles the statics of (p+1)branes.
Next week’s notes are here. For a syllabus, read on…
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 crystalclear. There’s nothing to be gained by rudeness.
Trimble’s Definition of Tetracategory
Posted by John Baez
Trimble’s legendary lost definition of “tetracategory”is now available here:
 Todd Trimble, Notes on tetracategories.
October 4, 2006
λCalculus in Paris
Posted by John Baez
Since I’m getting into the λcalculus and I’ll be visiting PaulAndré Melliès of the Proofs, Programs and Systems group at CNRS next July, I’m tempted to go a bit early and attend this:
 Typed Lambda Calculi and Applications ‘07, Paris, June 2628, 2007. Part of Rewriting, Deduction and Programming ‘07.
At least I hope someone reading this attends and reports back to us!
More information follows…
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 highselling writers (Jeremy Paxman, John Simpson, Andrew Motion,…).
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, Dbranes and loop group representations. This is of particular interest to at least one blogger here, so I provide some details.
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:
 John Baez and Derek Wise, Classical versus quantum computation.
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:

Week 1 (Sept. 28)  Computation, the lambda calculus and cartesian closed categories: an overview.
 Homework: exercises 1.1 and 1.2 in Selinger’s Lecture notes on the lambda calculus.
Next week’s notes are here. For a syllabus, read on…
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:
 Vladimir Voevodsky, A very short note on homotopy $\lambda$calculus, Sept. 27, 2006.
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.
Topos Theory at Chicago
Posted by John Baez
Tom Fiore of the University of Chicago writes:
The Category Theory Seminar will meet Thursdays 34 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:
 University of Chicago, Category Theory Seminar.
Here’s the abstract for Shulman’s talks…
October 1, 2006
The Consolation of nCategories
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 seventeenthcentury 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.
Klein 2Geometry VI
Posted by David Corfield
It’s time to convene the sixth monthly session of the longest running ProAm 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,q}$.
The answer to this was: $kP^{p1}$ worth of objects each with $k^{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.
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.)