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.

March 31, 2008

Limits and Push-Forward

Posted by Urs Schreiber

The limit and colimit of a functor can be understood as the “push-forward of the functor to a point”: the image of the functor under the right or left adjoint functor of the pullback of functors from the terminal category {pt}\{pt\}.

Is there a useful generalization of this correspondence between limits and push-forward for the case of indexed limits?

Posted at 8:43 PM UTC | Permalink | Followups (36)

March 30, 2008

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

Posted by John Baez

In week262 of This Week’s Finds, see the Southern Ring Nebula and the frosty dunes of Mars:



Then read about quantum technology in Singapore, atom chips, graphene transistors, nitrogen-vacancy pairs in diamonds, a new construction of e 8e_8, and a categorification of quantum sl(2)sl(2).

Posted at 3:12 AM UTC | Permalink | Followups (38)

March 29, 2008

Test Your Singlish

Posted by John Baez

Singlish is a creole language based on English, Malay, Hokkien, Teochew, Cantonese, Tamil and various other languages. I didn’t hear much Singlish during my recent visit to the Singapore, but I found a nice book about it in Kinokuniya, which is conceivably the world’s best bookstore chain.

There’s a lot of wit in some Singlish expressions, and I hope they catch on elsewhere in the English-speaking world. Try guessing what these mean:

  • action (verb)
  • arrow (verb)
  • blur (adjective)
  • catch no ball (verb)
  • havoc (adjective)
  • stylo mylo (adjective)
  • Z-monster (noun)

(Of course you can resort to various online Singlish dictionaries, but that’s cheating.)

Posted at 1:37 AM UTC | Permalink | Followups (12)

March 27, 2008

Categorified Quantum Groups

Posted by David Corfield

Once in a distant blog, John was quick to pour cold water on the suggestion I made that the aims of those categorifying might differ sufficiently to merit distinguishing types of ‘categorification’:

I don’t like this “Frenkelian” versus “Baezian” distinction. Baez was inspired to work on higher categories thanks to the work of Crane and Frenkel. Frenkel’s student Khovanov cites Baez’s work on 2-tangles in his first paper on categorified knot invariants. Frenkel’s student Khovanov has taken on Baez’s student Lauda as a postdoc at Columbia starting next fall. Will their work on categorifying quantum groups and using these to get 2-tangle invariants be “Frenkelian” or “Baezian”?

Some results of the collaboration are now out. Aaron has just posted A categorification of quantum sl(2) to the arXiv.

Did the Geometric Representation Theory Seminar reach the point of having categorified quantum groups? Not that I’m after differences of approach, of course.

Posted at 6:34 PM UTC | Permalink | Followups (55)

What Has Happened So Far

Posted by Urs Schreiber

The nn-Category Café has recently passed beyond 610 26 \cdot 10^2 entries, 1.310 31.3 \cdot 10^3 trackbacks and 110 41\cdot 10^4 comments. Maybe a good time to look back at what has happened so far.

Our subtitle says “A blog on math, physics and philosophy”. For me, there is one major question sitting at the intersection of these three subjects. It is

The fundamental question of quantum physics: What is a Σ\Sigma-model, really?

I have been exclusively talking about this question ever since we started the blog. I started referring to it as the question of the QFT of the charged nn-particle #. I still think this is the more descriptive term, but it was rightly indicated to me that it is not politically advisable for somebody in my position to make up new terminology.

Since it was also pointed out to me ## that it may at times be hard to remember the big picture, let me recall:

The proposed answer to the fundamental question of quantum physics: Pull-push of nonabelian differential cocycles.

We are in the setting of general cohomology theory, where generalized/homotopy/ana-morphisms XBG X \stackrel{\nabla}{\to} \mathbf{B}G between “spaces” (usually # presheaves with values in a homotopy category) are “cocycles” encoding higher fiber bundles. And also higher fiber bundles with connection, which are addressed as (nonabelian) differential cocycles #.

Given a (nonabelian, differential) cocycle on XX, and given another “space” Σ\Sigma, there is a canonical way to obtain a cocycle on Σ\Sigma: we pull-push \nabla through the correspondence hom(Σ,X)Σ ev p 2 X Σ Γ Σev *() Γ Σ(ev *). \array{ && hom(\Sigma,X)\otimes \Sigma \\ & {}^{ev}\swarrow && \searrow^{p_2} \\ X&&&& \Sigma \\ \nabla && \stackrel{\Gamma_\Sigma ev^*(-)}{\mapsto} && \Gamma_\Sigma( ev^* \nabla ) }\,.

The pullback along ev\mathrm{ev} (followed by the hom-adjunction) is transgression of the cocycle on XX to a cocycle on hom(Σ,X)hom(\Sigma,X). The push-forward along p 2p_2 is “taking sections## #.

Usually the push-forward along p 2p_2 won’t exist. The chances that it exists increase when the original cocycle is pushed-forward along a representation ρ:BGnVect. \rho : \mathbf{B} G \to n\mathrm{Vect} \,.

In the context of quantum physics, XX is the target space in which an “(n1n-1)-brane” (= nn-particle) with worldvolume # of shape Σ\Sigma propagates and is charged # # under a background field ρ *\rho_* \nabla. The pull-push Γ Σev *()\Gamma_{\Sigma} ev^*(-) is quantization in the extended/localized # sense of Freed ##. Γ Σev *()\Gamma_{\Sigma} ev^*(\nabla) is the Schrödinger picture # propagation. Applying an endomorphism functor sends it to the Heisenberg picture # of AQFT #. Since quantization sends differential cocycles to differential cocycles, we can iterate. This is second quantization #.

While following through this program, we ran into one big puzzle, concerning the proper nature of nn-curvature: it turned out that a differential cocycle “with values in BG\mathbf{B}G” is actually a certain constrained generalized morphism into # BEG\mathbf{B E}G. Understanding that funny shift in dimension properly used up maybe 50 percent of my time here, and is probably the reason if the effort looked less than coherent at times.

Making recourse to the “rationalized” approximation of L L_\infty-connections # the pattern was finally understood, and now there are very nice relations emerging # between this question and major programs of my co-bloggers: higher topos theory and geometric representation theory/groupoidification.
There is one main class of examples which motivates all this effort: quantization of # (higher) Chern-Simons bundles with connection to Chern-Simons QFT ## and its holographic # #boundary theory. Indeed, the realization # that the known modular category theoretic formulation of 2-dimensional CFT # # was in fact secretly a differential cocycle was what originally lead to the proposed answer above. This is being worked out with Jens Fjeldstad #.

The hardest part of figuring out the pull-push of a given cocycle is in top dimension. This is no surprise, since there it must reproduce the “path integral”. But first consistency checks in simple toy examples suggest that it does work # # allright.

But with the big picture finally stabilizing, many details need to be worked out further.

Posted at 10:47 AM UTC | Permalink | Followups (9)

March 22, 2008

Nonabelian Differential Cohomology in Street’s Descent Theory

Posted by Urs Schreiber

As a followup to our recent discussion #:

Nonabelian differential cohomology
in Street’s descent theory
(pdf, 20 pages)

Abstract: The general notion of cohomology, as formalized \infty-categorically by Ross Street, makes sense for coefficient objects which are \infty-category valued presheaves. For the special case that the coefficient object is just an \infty-category, the corresponding cocycles characterize higher fiber bundles. This is usually addressed as nonabelian cohomology. If instead the coefficient object is refined to presheaves of \infty-functors from \infty-paths to the given \infty-category, then one obtains the cocycles discussed in [BS, SWI, SWII, SWIII] which characterize higher bundles with connection and hence live in what deserves to be addressed as nonabelian differential cohomology. We concentrate here on ω\omega-categorical models (strict globular \infty-categories) and discuss nonabelian differential cohomology with values in ω\omega-groups obtained from integrating L(ie)-\infty algebras.

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

March 21, 2008

Groupoidfest in Riverside

Posted by John Baez

The next Groupoidfest is here in Riverside!

  • Groupoidfest, November 22-23, 2008, Mathematics Department, University of California, Riverside, organized by Aviv Censor.

I hope some of you can come! If you want to, contact Aviv as described on the conference website.

Posted at 11:22 PM UTC | Permalink | Followups (5)

Crossed Menagerie

Posted by Urs Schreiber

Tim Porter kindly made the following notes available online:

Tim Porter
Crossed Menagerie:
an introduction to crossed gadgetry and cohomology in algebra and topology
(pdf with the first 7 chapters (237 pages))

Posted at 8:01 PM UTC | Permalink | Followups (25)

March 20, 2008

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

Posted by John Baez

In week261 of This Week’s Finds, learn about the Engraved Hourglass Nebula:

Then read an ode to the number 3, which explains how all these entities are connected:

  • the trefoil knot
  • cubic polynomials
  • the group of permutations of 3 things
  • the three-strand braid group
  • modular forms and cusp forms
Posted at 7:14 AM UTC | Permalink | Followups (17)

March 17, 2008

The World of L

Posted by David Corfield

Anyone care to tell us what’s really going on in this story about the discovery of a third degree transcendental L-function? I like the description of the ‘World of L’ as where “most of the secrets of number theory are kept”.
Posted at 11:24 AM UTC | Permalink | Followups (25)

March 13, 2008

Slides: On Nonabelian Differential Cohomology

Posted by Urs Schreiber

On nonabelian differential cohomology
(52 pdf slides)

Posted at 3:25 PM UTC | Permalink | Followups (38)

March 12, 2008

Chern-Simons Actions for (Super)-Gravities

Posted by Urs Schreiber

Just as

electromagnetism is a theory of line 1-bundles with connection coupled to electric 1-particles and magnetic 1-particles,

we have that

supergravity # in eleven dimensions is a theory of line 3- and line 6-bundles with connection coupled to electric 3-particles and magnetic 6-particles.

(There is a beautiful discussion of essentially this statement by D. Freed, which I talked about here, and here. Freed doesn’t say “nn-bundle with connection”, but instead says “differential cocycle”. But it’s the same kind of thing.)

Wonders never cease, and hence there are indications that there is more to 11-dimensional supergravity than meets the eye. The question is: what? What is 11-dimensional supergravity really about?

One idea is: it is really about 1-particles on the “E 10E_{10}-group manifold”. This we talked about before.

Another idea is: it is really about the higher Chern-Simons theory # of an invariant degree 6-polynomial on a super Lie algebra not unlike super-so(n,m)so(n,m) #.

This speculation was put forward in

Petr Hořava
M-Theory as a Holographic # Field Theory
(arXiv)

The jargon in the title is such as to make certain physicists excited. A completely different, but possibly just as exciting jargon would be: it is speculated here that, very fundamentally, physics is about those representations of extended cobordism categories which are naturally induced from Chern-Simons nn-bundles with connection.

I was reminded of that by the appearance of the very nicely written basic review

Jorge Zanelli
Lecture notes on Chern-Simons (super-)gravities
(arXiv)

which was updated a few days ago. (Thanks to It’s equal but It’s different for noticing.)

This reviews the action functionals for theories of gravity one obtains by picking a d=2k+1d = 2k +1-dimensional manifold XX, a structure group GG like SO(d1,1){SO(d,1) (ISO(d1,1)) SO(d1,2) OSP(m|N)SO(d-1,1) \hookrightarrow \left\lbrace \array{ SO(d,1) \\ (ISO(d-1,1)) \\ SO(d-1,2) &\hookrightarrow& OSP(m|N) } \right. together with a degree (d+1)/2(d+1)/2 invariant polynomial \langle \cdots \rangle on its Lie algebra; and takes the action functional to be the corresponding Chern-Simons integral which sends gg-valued 1-forms AA on XX to A XCS(A), A \mapsto \int_X \mathrm{CS}(A) \,, where the Chern-Simons dd-form # CS(A)CS(A) satisfies dCS(A)=F AF AF Ad CS(A) = \langle F_A \wedge F_A \wedge \cdots \wedge F_A \rangle.

For d=3d=3 this yields, famously, the ordinary (super) Einstein-Hilbert action in that dimension. For higher (odd) dd, this yields the (super) Einstein-Hilbert action with higher curvature contributions.

Hořava gave arguments suggesting that and how for d=11d=11 the Chern-Simons gravity action reduces to that of ordinary supergravity in the appropriate limit.

Posted at 6:55 PM UTC | Permalink | Followups (20)

Following Singapore’s Lead

Posted by John Baez

Some interesting news from the Los Angeles Times.

In 2005, just 45% of the fifth-graders at Ramona Elementary School in Hollywood scored at grade level on a standardized state test. In 2006, that figure rose to 76%. Why? They started using the same math curriculum that Singapore does.

Ramona isn’t a rich, fancy school. Nine out of ten students at the school are eligible for free or reduced-price lunches. Most are children of immigrants — most from Central America, some from Armenia. Almost six in ten speak English as a second language. But, they’re doing a lot better in math than kids at other nearby schools!

Posted at 4:53 PM UTC | Permalink | Followups (51)

March 11, 2008

A Strange Link

Posted by David Corfield

Guest post by Tim Porter

I have just been looking back over Todd’s guest posts (I and II) from last autumn, and a strange link has just occurred to me. In the paper (Me with A. Bak, R. Brown and G. Minian), Global Actions, Groupoid Atlases and Applications, Journal of Homotopy and Related Structures, 1(1), 2006, pp.101 - 167, we include some examples from group presentation theory (which has a tendency to be a good testing ground for ideas for presenting logics).

Take a group GG and a family of subgroups (not just one as in Jim and Todd’s discussion). This family can be just ‘discrete’ or may be completed under intersections, it may not make a lot of difference. You cannot form a direct quotient by the family to get a GG-set because you have more than one (usually)!!! Try it with a nice finite group and two subgroups. The cosets of the subgroups in the family give a covering of the set of elements of GG and the nerve and Vietoris complexes of that covering give simplicial complexes with a GG-action, and hence an orbi-hedron in Haefliger’s sense (see the big book by Bridson and Haefliger – Metric Spaces of Non-Positive Curvature).

Posted at 6:38 PM UTC | Permalink | Followups (6)

Physics, Topology, Logic and Computation: a Rosetta Stone

Posted by John Baez

It’s done!

Learn how category theory serves as a lingua franca that lets us translate between certain aspects of these four subjects… and perhaps, eventually, build a general science of systems and processes! In a nutshell, it goes like this:

object morphism Physics system process Topology manifold cobordism Logic proposition proof Computation datatype program \array{ & object & morphism \\ Physics & system & process \\ Topology & manifold & cobordism \\ Logic & proposition & proof \\ Computation & data type & program }

It takes a while to explain the details.

Posted at 5:47 AM UTC | Permalink | Followups (103)

March 9, 2008

Learning to Love Topos Theory

Posted by John Baez

I was just working away, listening to some music by Gorillaz, when I checked my email and saw this great quote from Steve Vickers on the category theory mailing list:

As a parable, I think of toposes as gorillas (rather than elephants). At first they look very fierce and hostile, and the locker-room boasting is all tales of how you overpower the creature and take it back to a zoo to live in a cage — if it’s lucky enough not to have been shot first. When it dies you stuff it, mount it in a threatening pose with its teeth bared and display it in a museum to frighten the children. But get to know them in the wild, and gain their trust, then you begin to appreciate their gentleness and can play with them.

The gorilla in the cage is the topos in the classical world.

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

March 8, 2008

Some Puzzles

Posted by John Baez

Grr! I’m too busy trying to finish that Rosetta Stone paper to post anything really interesting, or even reply sensibly to the posts by my co-bloggers. So, just a few puzzles…

Posted at 2:16 AM UTC | Permalink | Followups (21)

March 6, 2008

Space and Quantity

Posted by Urs Schreiber

Am preparing some notes which are supposed to wrap up the discussion on smooth spaces, smooth function algebras, smooth algebras of differential forms, etc, which we had in

Transgression, Comaparative Smootheology, Question on Smooth Functions

and further develop it. Here is the current status:

Spaces and Differential Forms
(pdf).

I haven’t indicated any author names at this point. I have typed this so far, but, as you all know, this draws heavily on plenty of remarks by Todd Trimle and Andrew Stacey. Most of the proofs currently appearing are simply transcripts of proofs Todd described. (Of course all mistakes in the document are mine.) I also benefitted from discussing this stuff with Bruce Bartlett in person.

Posted at 8:40 PM UTC | Permalink | Followups (18)

Worrying About 2-Logic

Posted by David Corfield

Here’s a possible problem for the idea of modal logic as 2-logic.

In ordinary first order logic a model of a theory is a set XX. To an nn-ary predicate of the theory we assign a subset of X nX^n, to a constant an element of XX, and so on.

For a given XX, we can derive a Galois correspondence between theories modelled on XX and subgroups of X!X !, the permutations of XX, as Todd shows.

Now, in first order modal logic (FoS4) a model of a theory is a sheaf. To show completeness we can stick with bog standard sheaves on topological spaces, as Awodey and Kishida show in their paper Topology and Modality. This combines the topological semantics of propositional modal logic with the set-valued semantics of first-order logic. Necessity relates to taking the interior of subsets of the base space.

Posted at 11:28 AM UTC | Permalink | Followups (20)

March 4, 2008

Sections of Bundles and Question on Inner Homs in Comma Categories

Posted by Urs Schreiber

In the spirit of groupoidification a section of an associated bundle can be conceived in the following way:

let GG be a group, BG\mathbf{B} G the corresponding one-object groupoid, XX a space, YXY \to X a “good” regular epimorphism, Y Y^\bullet the corresponding groupoid. Then GG-bundles [g]:PX[g] : P \to X on XX are equivalent to functors g:Y BG. g : Y^\bullet \to \mathbf{B} G \,.

Now let ρ:BGVect\rho : \mathbf{B} G \to Vect be a linear representation of GG (or ρ:BGC\rho : \mathbf{B} G \to C any other representation) and denote by V// ρGV//_\rho G the corresponding action groupoid, which sits canonically in the sequence VV// ρGrBG. V \to V//_\rho G \stackrel{r}{\to} \mathbf{B} G \,. Given these two morphisms, we are lead draw the cone Y V// ρG g r BG. \array{ Y^\bullet &&&& V//_\rho G \\ & {}_g \searrow && \swarrow_r \\ && \mathbf{B} G } \,. It is easy to convince oneself that the collection of completions

Y σ V// ρG g r BG \array{ Y^\bullet &&\stackrel{\sigma}{\to}&& V//_\rho G \\ & {}_g \searrow && \swarrow_r \\ && \mathbf{B} G }

of this diagram equals the collection of sections of the bundle associated to [g][g] via ρ\rho:

Hom BG(g,r)Γ([g] ρV). Hom_{\mathbf{B} G}(g,r) \simeq \Gamma( [g]\otimes_\rho V) \,.

Posted at 9:23 PM UTC | Permalink | Post a Comment

Charges and Twisted n-Bundles, II

Posted by Urs Schreiber

Last time I recalled how the historically big insight

\;\;\bullet an electromagnetic field is a line bundle with connection

has to actually be replaced, more generally, by the statement

\;\;\bullet an electromagnetic field is a twisted line bundle, i.e. a “gerbe module” or “2-section” of the magentic charge line 2-bundle.

This time I recall Freed’s description of the Euclidean action for electromagnetism in the presence of electric currents. Then, again, I rephrase everything in the language of L L_\infty-connections (blog, arXiv) and the arrow-theoretic Σ\Sigma-model (slide 11).

I’ll do so for the very simple case where all nn-bundles appearing are actually trivial, so that only their connection forms matter. This makes most of the differential cohomology/nn-bundle terminology overkill, but allows to nicely see how the action functional on configuration space arises from transgression of a “background field”, following the general tao.

Posted at 2:00 PM UTC | Permalink | Followups (4)

March 3, 2008

Infinity-Groups with Specified Composition

Posted by Urs Schreiber

I have a certain desire to do the one-two-three—-infinity thing for nn-groups while retaining specified composition.

What I mean is this: there is the

\;\; \bullet bundle point of view

and the

\;\; \bullet section point of view

on higher categories. The first one uses models where the existence of compositions of nn-morphisms is guaranteed, but not specified, while the second one explicitly specifies for any two higher morphisms and all possible ways to attach them the resulting composite.

In the first approach it is easy to say \infty-group: “Kan complex with single 0-simplex”.

While that’s easy to say, it is in general hard to do anything with (at least for me). When we want to actually do something in concrete applications, we are often better off with having a model that has specified composites. (I discussed a concrete example for that recently in Construction of Cocycles for Chern-Simons 3-Bundles.)

Well, I might be just ignorant and prejudiced. But be that as it may, it should be an interesting question in its own right to see how far we can get with handling \infty-groups in the second approach, where composites are specified.

There is little chance, with present technology, to handle in the second case \infty-groups with full weakening allowed. On the other hand, entirely strict \infty-groups would be easy to handle, but a bit insufficient. I want something which is as strict as possible while still capturing a “sufficient” degree of weakening.

And here is my condition on what I will consider as sufficient weakening:

The model of \infty-groups must be closed in that for GG an \infty-group also AUT(G):=Aut(BG)AUT(G) := Aut(\mathbf{B} G) is an \infty-group.

Because that’s what is needed for doing differential nonabelian cohomology.

Here BG\mathbf{B} G denotes the one-object \infty-groupoid given by GG.

For instance, if GG is an ordinary group, then AUT(G)AUT(G) is the 2-group whose objects are the ordinary automorphisms of GG and whose morphisms are the inner automorphisms of GG.

Notice that if GG is a strict 2-group, then AUT(G)AUT(G) is no longer a strict 3-group – but a Gray group, meaning that BAUT(G)\mathbf{B} AUT(G) is a Gray groupoid, a groupoid enriched over the category of 2-categories equipped with the Gray tensor product. In the language of crossed group structures, this amounts to passing from crossed complexes to crossed squares.

This is described in theorem 4.3 and 5.1 of

R. Brown, I. Icen
Homotopies and automorphisms of crossed modules of groupoids
(arXiv).

and David Roberts and myself talk about it in our article.

So, forming automorphism (n+1)(n+1)-groups of nn-groups takes one from the world of strict nn-groups into the weakened realm. But how far? Do we need fully weakened \infty-groups to have that AUT(G)AUT(G) is an \infty-group if GG is? Or is there some explicit “semistrict” notion of \infty-group in between, rather strict, but weak enough to allow for AUT(G)AUT(G)?

Here is my proposal for how to deal with that (following a similar remark I made in a comment here):

Posted at 3:51 PM UTC | Permalink | Followups (23)

A Deep Sense of Miserable Ignorance

Posted by David Corfield

On p. 171 of Peirce’s lectures, Reasoning and the logic of Things, having favourably compared the universities of Europe to those of America, he explains what is wrong with the latter’s pedagogy:

In order that a man’s whole heart may be in teaching he must be thoroughly imbued with the vital importance and absolute truth of what he has to teach; while in order that he may have any measure of success in learning he must be penetrated with a sense of the unsatisfactoriness of his present condition of knowledge. The two attitudes are almost irreconcilable. But just as it is not the self-righteous man who brings multitudes to a sense of sin, but the man who is most deeply conscious that he is himself a sinner, and it is only by a sense of sin that men can escape its thraldom; so it is not the man who thinks he knows it all, that can bring other men to feel their need of learning, and it is only a deep sense that one is miserably ignorant that can spur one on in the toilsome path of learning. That is why, to my very humble apprehension, it cannot but seem that those admirable pedagogical methods for which the American teacher is distinguished are of little more consequence than the cut of his coat, that they surely are as nothing compared with that fever for learning that must consume the soul of the man who is to infect others with the same apparent malady.

Does this explain the success of This Week’s Finds?

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

March 1, 2008

Kim on Fundamental Groups in Number Theory

Posted by John Baez

My friend Minhyong recently wrote up a talk he gave at Leeds:

It starts with some pleasant observations of an elementary nature and works its way up to some ideas I find rather terrifying. Maybe we can ask him some questions and get him to explain what’s going on.

Posted at 7:31 AM UTC | Permalink | Followups (46)

Computer Scientists Needed Now

Posted by John Baez

Thanks to advice from Andrej Bauer, Robin Houston and Todd Trimble, I’ve beefed up the logic section of this paper:

For example, I’ve included a longer ‘overview’ to give the non-logician reader a slight feel for how proof theory met category theory in the development of 20th-century logic. I hope there are no egregious errors. If you catch any, let me know.

But now I really need comments from anyone who likes categories and theoretical computer science!

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