Klein 2Geometry IV
Can we sustain our momentum for the categorification of the Erlangen Program into its fourth month? At least now it is clear that what we need is a good account of how to quotient a 2group by one its sub2groups. I've been messing around a little with some baby 2groups and think I see how they work. I now think that the categorified Euclidean geometry that cropped up early on, i.e., the one that spoke of weak points and weak lines, arises from a discrete categorification of the Euclidean group. This has Euclidean transformations as 1morphisms, and only trivial 2morphisms. We may expect the geometry from more general 2groups to look quite different.
Update: Things are hotting up. For the first time in my life (to my face at least) I've been called 'evil'. What can be achieved before the hiatus of a sojourn in France?
Update: Things are hotting up. For the first time in my life (to my face at least) I've been called 'evil'. What can be achieved before the hiatus of a sojourn in France?
60 Comments:
From Ars Mathematica we read that John Iskra is writing a thoroughly category theoretic treatment of algebra  (Really) Modern Algebra. The title presumably refers to van der Waerden's Modern Algebra. Chapter 5 deals with groups, and might be a good basis to develop a systematic 2group theory. I am a little surprised that more hasn't been done, although it could be buried in some text on bicategories.
Are there equivalents of the 3 isomorphism theorems? What is the proper definition of an abelian/soluble/nilpotent/simple 2group? Is there a JordanHolder type theorem? Can 2groups be defined in terms of generators and relations? The questions are endless.
Hi! Sorry to disappear on you: I've been hunkering down to get some work done. I just finished editing the galley proofs of my paper Quantum Quandaries, which will appear in Structural Foundations of Quantum Gravity by Steven French, Dean Rickles and Juha Saatsi. And, I finished polishing up the lecture notes taken by Mike Shulman, based on my talks on ncategories and cohomology at Chicago.
In my spare time, I've been working out a theory of "projective 2geometry", based on the theory of 2vector spaces that Alissa Crans and I came up with. I should tell you about it, because it seems like a natural example of this Klein 2geometry business. It seems to work fine, but I still can't tell how interesting it is!
Please tell me sometime why you think the bits of Euclidean 2geometry we came up with are associated to the discrete 2group on the Euclidean group. I thought about it for a while and I think you're right, but I'd like to hear your reasoning.
You raise lots of questions:
Are there equivalents of the 3 isomorphism theorems? What is the proper definition of an abelian/soluble/nilpotent/simple 2group? Is there a JordanHolder type theorem? Can 2groups be defined in terms of generators and relations? The questions are endless.
I think a lot of these could be answered with existing knowledge about 2categories and bicategories, withooo much struggle. But, for a lot of them, it's probably better to wait until
1) we generalize to infinitygroups
or
2) we have specific examples that make us need the answers to these questions.
For example, my work with Alissa on Lie 2algebras was justified (in my opinion) by our discovery of a canonical 1parameter family of Lie 2algebras deforming any simple Lie algebra. For more general questions it would probably have been better to move right on to Lie infinityalgebras and think of them as Stasheff's Linfinity algebras, since he already has a substantIal technology developed.
You may think it's odd to put off certain questions until we answer them for infinitygroups, but remember, most people call infinitygroups topological groups or loop spaces, so they're already well studied; the only "new" thing is to study questions where everything is done "up to homotopy"  and even this isn't very new, since topologists have been doing that for loop spaces since the late 1960s. From this viewpoint, 2groups are topological groups with only pi_0 and pi_1 nontrivial.
I'll answer a couple of easy questions, though!
Abelian 2groups: looking at the periodic table of ncategories, one sees that one has 3 levels of abelianness in this column: 2groups, braided 2groups and symmetric 2groups. All of them can be classified (in principle) using group cohomology, as I explain in my paper. The first people to do this explicitly were Joyal and Street, in their unpublished paper on braided monoidal categories, which is now available online, thank god!
Generators and relations: yes, 2groups and indeed every sort of "purely algebraic" structure can be defined by generators and relations; this is part of the enormous generalization of universal algebra initiated by Lawvere.
I've been working out a theory of "projective 2geometry", based on the theory of 2vector spaces that Alissa Crans and I came up with.
It would be great to hear about this, and perhaps why projective geometry works here, and what would be different from other versions of 2vector spaces, such as the one in Elgueta's paper  Generalized 2vector spaces and general linear 2groups, which discusses a GL(Vect[C]).
As for why I think our original categorified Euclidean geometry is based on the discrete categorification of the Euclidean group, I think it helps to consider what a quotient of 2groups should look like.
Let's denote the 2group we have been considering as GH. Speaking loosely, this has G objects and G x H arrows. Consider a sub2group MN. The M acts on G to give G/M objects (really G//M). Quotienting the arrows gives (G x H)/(M x N), so very loosely, H/N arrows emerging from each object (component).
Remember we called the 2d Euclidean group E, the stabilizer of a point P, and the translations T. The quotient E1/P1 has T or R^2 objects (each really a copy of P), and a single arrow out of any of these points, i.e., the identity arrow. That seems to be the plane of weak points we were considering. I think weak lines only go through weak points whose internal dials are pointing in their direction (something like a gauge theory with no turning of pointer along lines). There might be a richer geometry where these pointers can spin along a line.
If MN is a normal sub2group, the quotient ought to be a 2group too. We should expect that PT is the quotient ET/T1. Your Poincare 2group is a similar quotient.
David wrote:
As for why I think our original categorified Euclidean geometry is based on the discrete categorification of the Euclidean group, I think it helps to consider what a quotient of 2groups should look like.
We certainly need to understand that if we're going to get anywhere with categorified Klein geometry.
Let's denote the 2group we have been considering as GH.
Yup. "Experts" write this 2group as H>G, since since any strict 2group gives a crossed module with a target map
t: H > G.
There's also an action of G on H, and that's the only structure that the notation H>G conceals.
So, just for fun, I'll change your notation GH to G<H, and see if it looks nice or silly.
Speaking loosely, this [2group] has G objects and G x H arrows.
Yes; really the group of arrows is the semidirect product of G and H, since G acts on H  but apart from that you're not being "loose" at all here.
Consider a sub2group M<N. The M acts on G to give G/M objects (really G//M). Quotienting the arrows gives (G x H)/(M x N), so very loosely, H/N arrows emerging from each object (component).
Let me make this a bit more precise, since I'm worried about cutting too many corners here. If we don't understand quotients of 2groups, we can't do Klein 2geometry.
Let's first suppose we have the 2group M<N acting on any category C. Let's figure out what the quotient
C//(M<N)
should be. If we then restrict to the case where C is a 2group, we'll be sure to get the right answer.
(After all, one level down, the quotient of a group by a subgroup, viewed as a mere set, is nothing but a special case of the quotient of a set by a group.)
For the moment, just to spare both of us some pain, I'll only consider the case where M<N acts strictly on C: in other words, the usual laws for an action
c1 = 1
(cm)m' = c(mm')
hold as equations instead of up to isomorphism. This will be the case when we study a subgroup of a strict 2group acting on this group by right multiplication  and we've only been talking about strict 2groups lately.
So, how do we form the quotient
C//(M<N) ?
We must use a weak quotient or we'll get in trouble somewhere down the line. So, we start with C and instead of quotienting by making some objects equal, we do so by throwing in new isomorphisms, which satisfy some equations called "coherence laws".
For each object c of C and m in M, we throw in an isomorphism
c (c,m)> cm
We impose equations saying these are natural in c and m. In other words, we make certain obvious squares commute whenever we have a morphism
c f> c'
or a morphism
m f> m'
(Test to see if you follow: which square can actually be drawn as a commutative triangle?)
We also impose some coherence laws related to multiplication and units in our 2group. If we have m and m' in M, we can form
c (c,m)> cm (c,m')> (cm)m'
and also
c (c,mm') > c(mm')
These should be equal, or we'll be throwing in many different isomorphisms between things we're trying to "identify", instead of just one.
Similarly, we want
c (c,1) > c1 = c
to be the identity morphism.
(Test: show this is actually redundant.)
I think that's all. Quotienting by a weak 2group action is not much harder; the only thing we need to remember is that instead of having equations (cm)m' = c(mm') and c1 = 1, we have isomorphisms, so we need to include those isomorphisms in the last two coherence laws I mentioned.
In my next post  I think I'll pause here so readers don't go insane with boredom  I'll see what we get when we mod out the "discrete Euclidean 2group" by the "discrete rotation sub2group".
Okay, now let's study categorified Euclidean nspace: the weak quotient
E(n)<1//O(n)<1.
Here E is the Euclidean group in n dimensions, and we're making it into the discrete Euclidean 2group E<1 by turning it into a category with only identity morphisms  that's what the "<1" does.
Similarly, O(n) is the subgroup of the Euclidean group that stabilizes a point  better known as the rotationreflection group  and O(n)<1 is the discrete rotationreflection 2group.
Lastly, the "weak quotient" operation // was described in my previous post. (Nobody who writes in blogs talks like this!)
Putting them together, we see first of all that
E(n)<1//O(n)<1
has E(n) as its objects. What about the morphisms? We start out with just identity morphisms in E(n)<1, but then we throw in new morphisms when we take the weak quotient. We thrown in an isomorphism
e (e,o)> eo
for any e in E(n) and any o in O(n). The naturality squares I mentioned last time are all trivial, so the only coherence law we need is that
e (e,o)> eo (eo,o')> eoo'
equals
e (e,oo')> eoo'
What do we get?
This is just the weak quotient
E(n)//O(n) !!!
So, David was right.
We can draw a couple of morals from this. One is that whenever we have a group G and a subgroup H, we have
G<1//H<1 = G//H
so our weak quotient operation on 2groups is backwardscompatible with our earlier defined weak quotients of groups.
But, we didn't use anything about G<1 being a 2group; it could have been any discrete category. Say G is a group acting on a set X and let Disc(X) be the corresponding discrete category with X as objects and only identity morphisms. Then we've really shown this:
Disc(X)//G<1 = X//G
or if you prefer
Disc(X)//Disc(G) = X//G
This stuff is important because it shows how Klein 2geometry  the study of geometries with 2groups rather than groups of symmetries  is related to our "automatic categorification" process that turns a homogeneous space G/H into a category G//H. We now see this category is indeed an example of a Klein 2geometry, with the discrete 2group Disc(G) as its symmetries.
So  good idea, David!
I think now we're ready for some Klein 2geometries where the symmetry 2group is a bit more interesting  not just a group in wolves' clothing. So, I should tell you about projective 2geometry.
Okay, here's a taste of projective 2geometry. I won't go into much detail now, since I've written too much on your blog already today. I'll just sketch a bit of what I did while sitting around at various Starbuckses  annoying plural, that!  around Shanghai.
(I only go to Starbuckses  Starbucki???  when Lisa is shopping in tourist areas. That's about the only time I see white folks these days. For just 8 times the price of a bottle of ice tea at a typical Chinese store, you can get a steaming hot cup of coffee at Starbucks, perfect for a Shanghai summer. But, the caffeine blast is enough to make me dream up all sorts of crazy cool math, so the sweat is worth it.)
Before we categorify projective spaces, we should probably try to categorify vector spaces. I know three main ways to do this (and lots of small variations):
1) KapranovVoevodsky 2vector spaces. These are categories equivalent to Vect^n, where Vect is the category of finitedimensional vector spaces. They're very useful in topological quantum field theory, but they have no "negatives" of objects, much less the ability to multiply an object by an arbitrary complex number, so they're not an easy context for generalizing most of ordinary linear algebra.
2) BaezCrans 2vector spaces. These are categories with a vector space of objects, a vector space of morphisms, and with all the usual category operations (e.g. composition) being linear. Here you can take an object and multiply it by 1.73 + 42 i. There's a nice theory of categorified Lie algebras in this context, called "Lie 2algebras", and these have corresponding "Lie 2groups", etc..
3) Elgueta 2vector spaces. These are free additive complexlinear categories on ordinary categories. In other words, to form one, we start with a category and formally throw in direct sums of objects and complex linear combinations of morphisms.
One great thing about these is that you can form the "2group 2algebra" of a 2group, much like the "group algebra" of a group.
Anyway, for my purposes I want to use 2)  not just because I helped invent this kind of 2vector space, but because these are the most closely linked to Lie groups and other ideas from differential geometry. We're doing "Klein 2geometry", and I'd like it to be related to geometry that we know and love!
Given a (complex) vector space V, the group C* of invertible complex numbers acts on V by scalar multiplication, and we can form the projective space PV like this:
PV = (V  {0})/C*
Given a 2vector spaces V, the discrete 2group Disc(C*) acts strictly on V by scalar multiplication, and we can form the projective 2space PV like this:
PV = (V  {0})//Disc(C*)
Here {0} means something funny: it's the connected component of the object 0 in V. You can't just rip out an object from a category without pulling out all the morphisms from and to it! And, it would be insane not to pull out all isomorphic objects, too. All morphisms in a 2vector space are isomorphisms, so when we rip out 0, all objects isomorphic to it, and all isomorphisms between them, we are removing the connected component of 0: the category consisting of all objects with morphisms from or to 0, and all morphisms between them.
I can describe what PV looks like very explicitly.
Up to equivalence, 2vector spaces are classified by two natural numbers  the "first and second Betti numbers". (In general, nvector spaces are classified by n numbers. When n = 1 this one number is called the "dimension".) It would be fun to see even more explicitly what PV looks like as a function of these two Betti numbers!
When the second Betti number is zero, our 2vector space V is secretly just a vector space, and our projective 2space PV is just an ordinary projective space.
All this is very nice: an orderly setup subsuming ordinary projective geometry as a special case.
I also suspect that these projective 2spaces are "smooth 2spaces" in the sense of Toby Bartels. These are the kind of category where you can do differential geometry: they're like manifolds in the world of categories.
For the purposes of Klein geometry, what matters more is that any 2vector space V has a strict 2group GL(V) acting on it, and this action commutes with scalar multiplication so we get GL(V) acting on PV. Presumably we get something called "PGL(V)" acting on PV, just as in ordinary projective geometry, but I haven't thought about that yet.
Also nice is that whenever we have a nontrivial "2vector subspace" W in V, we get an inclusion
PW > PV
These give "figures" like projective points, lines, etc. in our projective 2space. But now the types of figures are indexed not just by dimension, but by two Betti numbers!
And, GL(V) will act on the set of figures of a given type.
So, this seems worth looking into a bit. If you ask me questions about stuff, that would give me an excuse to explain it in more detail.
To me, it seems to be useful to make explicit that all three examples of 2vector spaces that John mentions in the above comment are special cases of a single concept.
To me, a 2vector space is
 a monoidal category C, playing the role of the ground ring/ground field
 a module category V over C, playing the role of a vector space over C .
For fixed C, these 2vector spaces live in the obvious 2category
Mod_C
whose objects are Cmodule categories, whose morphisms are Clinear functors and whose 2morphisms are natural trafos between these.
For example, take C = Disc(K), for K some field and Disc(K) the discrete category with elements of this field as its objects. Then
Mod_C
is the 2category of BaezCrans 2vector spaces over K, i.e. of categories internal to Vect_K.
On the other hand, for C = Vect_K we get a type of 2vector spaces that live in
Mod_Vect_K,
or, if we agree on writing
Vect_K = Mod_K
in
Mod_Mod_K
(which should remind us of closely related similar recursive structures, like for instance
Tor_Tor_U(1) ).
Mod_Mod_K is pretty large. A nice tractable sub2category of Mod_Mod_K is
BiMod(Vect_K),
the sub2category of algebras, bimodules and bimodle homomorphisms internal to Vect_K.
(In order to regard this as a sub2category of Mod_Vect_K we need to send every algebra to the category of modules of that algebra and every bimodule to the functor obtained by tensoring with this bimodule.)
Now, KapranovVoevodsky 2vector spaces are again a tiny sub2category of BiMod(Vect_K), namely that where all algebras involved are of the form K^n, for natural numbers n.
Elgueata's 2vector spaces still live in a sub2category of Mod_Mod_K, somewhere in between the full thing and KV2vector spaces (including theses as a special case).
To me it seems very useful to keep this big picture in mind.
For every 2vector space in the sense of a module category V over some monoidal category C, we can form the corresponding _projective_ 2vector space, I think.
Inside C, we find the Picard 2group C* of C.
If we regard C as a 2category with a single object, then I guess we can neatly define C* as the core of C. It contains all objects which have weak inverses and all isomorphisms between these.
For the special case of BaezCrans 2vector spaces we have
C = Disc(K)
and
C* = Disc(K*) .
On the other hand, for the case C = Vect_K we find
C* = 1DVect_K,
the category of 1dimensional vector spaces.
In applications to 2DQFT, we often have C being some category of representations of some quantum group or vertex algebra, and C* in this case is known as the category of "simple currents".
A "zero 2vector" in a 2vector space should be an object which is fixed by the action of C*, up to isomorphism.
So I think we can generalize the construction of projective 2vector spaces indicated by John to the most general 2vector spaces living in Mod_C, for any C.
We remove all zero 2vecors (all fixed points of the Picard 2group C* of C) and then divide out by the action of that Picard 2group C*.
I think I'll pause here so readers don't go insane with boredom
Is this aimed at the youth with their reduced attention spans? Perhaps we could get some background music going to liven it up. Did you read Fred Caligeri's comment in his review of a book on modular forms:
"With today’s iPod generation more likely to study elliptic curves and modular forms before learning any class field theory, Shimura’s book by itself is no longer apposite as an introduction to modular forms."
Urs' generalization sounds very interesting, but limiting ourselves to John's 2vector spaces, for concreteness sake
Up to equivalence, 2vector spaces are classified by two natural numbers  the "first and second Betti numbers".
So, the first measures the dimension of the space of the objects, and the second the dimension of the space of morphisms with source 0, as in the 2Term picture? Then if n_1 <= n_2, 0 will be connected to every object, so V  {0} is empty.
So, is it like you're doing projective geometry in C^n_1  C^n_2 worth of objects, arranged in C^(n_1  n_2)  {0} worth of components?
Something still niggling me is what the result of a 2group acting on a category should be, or more generally what an ngroup acting on a (n  1)category should be.
In the case n = 1, i.e., a group acting on a set, we either get a set S/G, or better a category S//G. Now for the case n = 2, you construct for us a category, by adding arrows and enforcing some equations. But why should we not expect a 2category here? Presumably the answer to my question for general n according to your construction is "an (n1)category", but then why do we prefer the weak quotient in the case n = 1?
As long as nobody stops me I'll keep throwing in comments here, ok?
David wrote:
"Urs' generalization sounds very interesting, but limiting ourselves to John's 2vector spaces, for concreteness sake"
Sure. I would just like to keep in mind at which point we _have_to_ invoke special assumptions. One of my points was that the mere definition of a projective 2vector space does not need the assumption that we have specialized to C = Mod_Disc(K).
David wrote:
"Then if n_1 <= n_2, 0 will be connected to every object"
Let the BaezCrans 2vector space be given by the 2term complex of vector spaces
V_1 d> V_0 .
Then the zero vector object 0 in V_0 is connected to every other object in V_0 if and only if d is onto.
So a necessary condition for the isomorphism class of 0 to be V_0 is that dim(V_1) >= dim(V_0). But this is not sufficient. The kernel of d might be all of V_1, for instance, in which case our 2vector space is skeletal.
David wrote:
"So, is it like you're doing projective geometry in C^n_1  C^n_2 worth of objects, arranged in C^(n_1  n_2)  {0} worth of components?"
I guess it is like passing to the skeleton. We pass from V_0 to coker(d).
But I might be wrong. I realize I need to think about what precisely we want to mean by writing V{0}.
David wrote:
"Something still niggling me is what the result of a 2group acting on a category should be, or more generally what an ngroup acting on a (n  1)category should be."
A couple of entries before I argued that the _systematic_ way to derive this is by categorifying the concept of action groupoids by more or less straightforward internalization.
What's wrong with that?
I am pretty interested in the answer to that, albeit possibly for different reason than you are. I know what it means for a 2bundle with connection to be equivariant under the action of an ordinary group. Strangely enough, it is not obvious at all (to me at least) what it would mean for it to be equivariant under the action of an honest 2group. Apart from the problem of figuring this out by itself, I have no real clue in which applications a 2equivariant 2gerbe would arise naturally.
Sorry, I keep going off that gerbe tangent, while you want to have a discussion on Klein's 2program.
Maybe I should make more explicit how I think that action 2groupoid should look like, and how that reproduces what John wrote above (as far as I can see).
I originally pointed out that the ordinary action groupoid of G acting on C has space of objects equation to C and space of morphisms equal to GxC, with the obvious source, target and composition morphisms.
This straightforwardly internalizes in Cat, where now G is a 2group, and C is some category with a Gaction on it.
The result is a _double_ groupoid. And it really is a double groupoind nonequivalent to a 2groupoid (in general) simply because horizontal and vertical morphisms will live in different categories.
If we assume everything in sight to be strict, we can easily draw the 2cells of this action doublegroupoid.
The category of vertical morphism is C.
The category of horizontal morphisms is C_0//G_0, i.e. the ordinary action groupoid at the level of objects.
If
c1


f


v
c2
is a morphism in C and
g1


h


v
g2
a morphism in G, then a 2cell of our action double groupoid looks like
c1 g1> g1 . c1
***********
***********
f ********h . f
***********
***********
v***********v
c2 g2> g2 . c2
Note that this is not supposed to be a commuting square (which would not make sense), but is a 2cell which we should address as h.f (h acts on f).
Vertical composition in this 2group is just ordinary joint composition in C and G. Horizontal composition is given by the product in G.
If both C and G are discrete categories, this does indeed reproduce the ordinary action groupoid of G on C.
The quotient we are after
should be the 1category obtained by quotienting out _horizontal_ 2isomorphisms.
Now, what does that tell us about quotient 2groups?
As I said in the comment section here (I cannot link to a specific comment here, can I?) we find the quotient of a group H by a subgroup G by forming the action groupoid of G acting on H and checking if this groupoid has the structure of a 2group. If so, we form this 2group and find that it is equivalent to a discrete 2group Disc(H/G), which identifies the quotient group H/G that we are looking for.
I am guessing that the same procedure should apply here. Let C be a 2group being acted on by the 2group G. We form the action double groupoid as I indicated above.
Under special conditions (which we would address as saying that G is a _normal_ sub2group of C) this double groupoid should have the structure of a 3group!
In other words, there should then be a way to take two of the 2cells that I have drawn last time and put them on top of each other (in the third dimension) to produce a new 2cell, such that this operation is double functorial and has inverses.
If this is the case, we should find a 2group such that the resulting 3group is equivalent to that 2group, regarded as a 3group with only identity 3morphisms. This 2group is the quotient group we are after.
While conceptually straightforward, I'd need pencil and paper to work out a nontrivial example, if any. Right now I have none with me.
However, the trivial examples, where both G and C are discrete, are easily seen to reproduce the expected result.
I wrote:
"We pass from V_0 to coker(d)."
Sorry, nonsense. We just want to remove im(d) and pass from V_0 to V_0im(d).
John wrote:
I think I'll pause here so readers don't go insane with boredom.
David wrote:
Is this aimed at the youth with their reduced attention spans?
Well, I don't think people read blogs expecting a single entry to be a long disquisition, especially on a technical matter like Klein 2geometry. Part of the problem is this damned "skinny column" format, which makes everything twice as long as it would otherwise be.
John wrote:
Up to equivalence, 2vector spaces are classified by two natural numbers  the "first and second Betti numbers".
David wrote:
So, the first measures the dimension of the space of the objects, and the second the dimension of the space of morphisms with source 0, as in the 2Term picture?
Not quite  I'm really talking about Betti numbers: dimensions of the homology groups of a chain complex.
Let me explain.
We've already seen how a 2group can be written as a crossed module: a group G, a group H, a homomorphism
t: H > G
together with an action of G on H, satisfying two axioms: equivariance and the Peiffer identity.
Just as a vector space is a special sort of group, a (BaezCrans) 2vector space is a special sort of 2group. Viewed as a crossed module, it's simply one where G and H are vector spaces, and the action of G on H is trivial.
In this particular case, equivariance and the Peiffer identity are automatic, so we can forget about them.
So, a 2vector space boils down to a couple of vector spaces G and H and a linear map
t: H > G
This otherwise known as an operator, or, if we wish to show off, a 2term chain complex of vector spaces. The latter terminology would be ridiculous overkill, were it not a special case of a more general fact: nvector spaces are secretly just nterm chain complexes of vector spaces!
Now, chain complexes have homology groups, and the dimensions of the nth homology group is called the nth Betti number of our chain complex. It's a nice fact that, just as finitedimensional vector spaces are classified up to isomorphism by their dimension, chain complexes of finitedimensional vector spaces are classified up to equivalence by their Betti numbers.
In particular, 2vector spaces are classified up to equivalence by their Betti numbers. Concretely, for the 2vector space
d: V_1 > V_0
the 0th Betti number is
dim (coker d)
while the 1st Betti number is
dim (ker d)
Here the kernel of d, "ker d", consists of V_1 that get sent to 0 by d, while the the cokernel of d, "coker d", is V_0 modulo the image of d.
For example, look at this 2vector space:
1: C > C
where C is the complex numbers. The dimensions of V_0 and V_1 are both 1, but the 0th and 1st Betti numbers are both 0! So, this 2vector space should be equivalent to the trivial 2vector space,
1: {0} > {0}
And, it's easy to see this if we think of 2vector spaces as categories (just as we do for 2groups). The category corresponding to
1: C > C
has C's worth of objects, and a single morphism from any object to any other. So, this category is equivalent to the category whose only object is 0, and whose only morphism is the identity. And this little category corresponds to
1: {0} > {0}
In short: adding extra objects, but also extra morphisms saying these objects are isomorphic, gives us a new "puffedup" version of a 2vector space which is equivalent to the one we started with... and its Betti numbers don't change.
David wrote:
Then if n_1 <= n_2, 0 will be connected to every object, so V  {0} is empty.
Well, your guess about the definition of these numbers was a bit wrong, but your intuition is right, so we can fix what you're saying here.
The 0th Betti number of our 2vector space is the dimension of the space of isomorphism classes of objects. (The 1st Better number is the dimension of the automorphism group of any object!) So, if the 0th Betti number is zero, all objects are isomorphic to 0, and what I'm calling
V  {0}
will be empty.
This generalizes the fact that if V is a plain old vector space,
V  {0}
will be empty if its dimension is zero. Vector spaces give special 2vector spaces, and their "dimension" then becomes the "0th Betti number". Nice, huh?
Moral: the projective 2space PV is empty if the 0th Betti number of V vanishes.
Hi, Urs! Believe it or not, I'm writing a This Week's Finds about your ideas on the Mtheory 3group, in order to procrastinate from finishing my paper with Aaron before finishing my paper with you. But, I decided to procrastinate a bit on writing This Week's Finds, so I posted another article on David's blog here  and ran into you!
I'm procrastinating a lot these days, but no matter what I do, it always seems to involve higher categories, so I figure it's not so bad.
You write:
To me, a 2vector space is
 a monoidal category C, playing the role of the ground ring/ground field
 a module category V over C, playing the role of a vector space over C .
These are great concepts, but it's probably good not to speak of "2vector spaces" in such generality, since category theorists already have a perfect term for this concept: an action of a monoidal category on a category. This categorifies the usual concept of an "action" of a monoid on a set.
When our monoidal category is equipped with an addition as well as a multiplication, it's called a "rig category"  or often, a bit incorrectly, a "ring category". These like to act on categories equipped with their own addition, which we then could call modules of our rig category.
When our rig category acts a bit more like a field, perhaps then its modules deserve to be called 2vector spaces. But, I don't know anyone who has axiomatized a concept of "field category".
ANYWAY, despite this terminological nitpicking, I really like your idea. At first I didn't believe that the BaezCrans 2vector spaces were precisely the same as modules of the rig category Disc(K) (where K is some field), but now it's looking like you're right. Did you check this carefully?
Hmm, maybe it's obvious that "working over Disc(K)" is the same as "working internal to Vect_K." Some kind of general abstract nonsense seems to be at work here.
The KapranovVoevodksy 2vector spaces are indeed modules of Vect_K, but as you seem to point out, such modules need to be especially nice to qualify as KapranovVoevodky 2vector spaces: they're basically the (finitely generate) free modules, of the form
(Vect_k)^n
Anyway, I hope you forgive me if I pay less attention to your "big picture" ideas than I should  I really want to keep zooming in on examples of Klein 2geometries. I want to get to the point where I clearly see how something like projective geometry fits into a bigger categorified picture. So, at least on this blog, I'm going to sink my teeth into this problem with the tenacity of a bulldog, and not let go, no matter what tasty morsels you dangle in front of me.
I'm procrastinating a lot these days
And I'm now procrastinating here so as not to write my talk about history of maths for a workshop seeking a new epistemology of maths. And the case I was going to consider is the history you are delaying writing with Aaron because of your blogging here, in particular whether you are just writing a Royalroadtome account, and whether, if this is so, a sentiment of this accounts for this piece of modesty:
"As we approach the present we discuss the work of less famous scientists, stopping shortly after we mention the authors of the current paper, when it becomes impossible to sink any lower."
But back to some proper procrastinating, might it be that although 2vector spaces are classified up to equivalence by 2 natural numbers, that it makes a difference to their 2vector subspaces? E.g,
1: C > C
and
1: {0} > {0}
are equivalent, but the former has a nontrivial sub 2space.
What would the passage from projective to affine geometry with your 2vector spaces look like? We might try the (3,0) 2vector space, form {V  {0}}//R*, and quotient the 2group of projective transformations by those which preserve (0,0,1).
Urs said:
As long as nobody stops me I'll keep throwing in comments here, ok?
Sure.
I cannot link to a specific comment here, can I?
No, it's way too primitive here for that.
John Baez wrote:
"Believe it or not, I'm writing a This Week's Finds about your ideas on the Mtheory 3group,"
Cool. It's a topic that people secretly know a lot about, without knowning that they know it  since they don't know the higher category theoretic picture that it fits in. So it certainly is a topic that can benefit from a TWF.
One big question that I long to figure out the answer to is:
Do we need "curvators" to properly understand (super)gravity as a theory of an nconnection, or does it suffice to enlarge the structure nalgebra by auxiliary fields and let the fake flatness conditions take care of everything, along the lines that I pointed out here.
I am hoping it is the latter, but I don't know yet.
John wrote:
"[...] before finishing my paper with you [...]"
For a long time I was worried that I would never be able to reformulate the proofs in a way that you would consider "finished". But now I know what we need.
My vacation ends today. I will start typing the new, better way to formulate all this starting tomorrow.
John wrote:
"At first I didn't believe that the BaezCrans 2vector spaces were precisely the same as modules of the rig category Disc(K) (where K is some field), but now it's looking like you're right. Did you check this carefully?"
I first saw this stated in one of Elgueta's papers, unless I dreamed it. I did check it mentally, without ever trying to write things down cleanly. So, no, I did not check it real carefully.
But it should essentially be trivial. Being a Disk(K)module category makes both object as well as morphisms Kmodules, hence Kvector spaces. Composition must respect the Disc(K)action by functoriality, hence must be Klinear. Similar arguments make source and target maps Klinear. I think.
John wrote:
"Anyway, I hope you forgive me if I pay less attention to your "big picture" ideas than I should  "
Sure. You two go ahead and think about 2Klein. I will now and then check which of your constructions require assuming restriction to Mod_Disk(K), and which don't.
In the end, somebody should sit down and try to see how the big theorems of linear algebra, i.e. the spectral theorem mostly, lift to Mod_C. I made some comments on that here. There are several indications that this is very important for 2D QFT.
John wrote:
"such modules need to be especially nice to qualify as KapranovVoevodky 2vector spaces:"
Yes, they need to be categories of K^nmodules, instead of modules for arbitrary algebras, i.e. they live in BiMod_K^n.
I think what we should really be looking at is all of BiMod (regarded as a sub2category of Mod_Vect they way I indicated).
Why? For instance because every strict 2group H>G together with any rep of H has a canonical faithful 2rep (>) in BiMod induced by that rep of H, which, for H>G the string 2group, essentially reproduces the StolzTeichner rep.
Similarly, the corresponding 2rep of shifted U(1) coming from the canonical 1D rep of U(1) is the right one to find abelian gerbes as associated line 2bundles. I am in the process of writing that out.
Sorry, I know this thread here is about Klein's 2program. :)
Please pardon the somewhat "disciplinary" tone of the following entry. I'm afraid David is being a bit... well, evil.
But back to some proper procrastinating, might it be that although 2vector spaces are classified up to equivalence by 2 natural numbers, that it makes a difference to their 2vector subspaces? E.g,
1: C > C
and
1: {0} > {0}
are equivalent, but the former has a nontrivial sub 2space.
Right. But, we've run into the same puzzle before, back in July, when we noticed that the 2group TRIV(G) was equivalent to the trivial 2group but had nontrivial sub2groups. I wrote:
The really interesting puzzle is how a boring 2group can seem interesting: for example, how a weakly trivial 2group can have nontrivial sub2groups.
I thought I answered this puzzle  but now it looks like I never got around to it! Whoops!
The answer is that the naive concept of "subcategory" is evil. The same holds for "sub2group", "sub2vector space" and so on.
What do I mean by the naive concept of subcategory? I mean the one where we say C is a subcategory of D if there is a functor
C > D
that's onetoone on objects and on morphisms.
This is clearly evil, because "onetoone on objects" is defined in terms of equations between objects, and equations between objects are always evil. You should always use specified isomorphisms instead.
But what do I mean by evil? This is a technical term here: it means "not invariant under equivalence of categories".
The point is that we want all true statements to remain true whenever we replace all the categories involved by equivalent categories. Life runs smoothly when this holds. It holds automatically if all our concepts are invariant under equivalence  that is, nonevil. But if we accidentally introduce an "evil" concept into our repertoire, we have to be incredibly careful. If we're not, various puzzles and "paradoxes" will emerge, in which equivalent categories start acting differently!
And, that's just what keeps happening when you (and perhaps even I) fling around words like "subcategory", "sub2group" and "sub2vector spaces", defined in a naive way.
The naive concept of "subcategory" is manifestly evil, since if C is a naive subcategory of D:
C > D
and we have an equivalence
D > D'
the composite
C > D'
does not make C into a naive subcategory of D'.
So: instead of using naive, evil notions, we should use more sophisticated good ones.
What are some good notions that we can use to talk about a functor
C > D?
I can think of three. How can we use them to say that C is a subcategory of D, but in a less naive way?
A separate problem, by the way, is that you seem to be counting 2vector subspaces of a 2vector space and taking that number seriously. Counting in this naive way is good for sets, but evil for categories... and surely there should be something like a category of 2vector subspaces of a given 2vector space. I'm not sure how to define it  but surely that's what we want for Klein 2geometry!
We can think of ordinary subgroups as kernels of group homomorphisms.
Maybe we should think of sub2groups as suitably defined kernels of morphisms of 2groups?
We can think of ordinary subgroups as kernels of group homomorphisms.
Normal subgroups, you mean.
I'm afraid David is being a bit... well, evil.
Thanks for pointing out my sins. I'll go flagellate myself with a category of nine isomorphism classes of tail.
What are some good notions that we can use to talk about a functor
C > D?
I can think of three.
Snaffling a piece of your presence elsewhere in the blogosphere, here's one:
Makkai’s concept of an “anafunctor” F: C > D, which assigns to each object in C not a specific object of D but only the universal property of an object in D.
I should think those Chicago notes contain more, perhaps in the appendix.
As for what about a functor wants to make you say it's a 'subcategory', there must be some construction from 2category theory which is equivalent to 'monic' in 1category theory. Something along the lines of F: C>D is a subcategory if for any two functors G,H: B>C with FoG naturally equivalent to FoH, then G is nat. equiv to H.
If 2vector spaces are classified up to equivalence by their Betti numbers b_0 and b_1, why not choose as representatives:
d:C^b_1 > C^b_0, with d the zero map.
Might then 2vector spaces of the form:
d: C^m > C^n, with d again the zero map, and m <= b_1, n <= b_0, be representatives of bona fide 2vector subspaces.
(Why is it 2vector space rather than vector 2space?)
David said:
"Normal subgroups, you mean."
Right. Thanks for correcting that.
and surely there should be something like a category of 2vector subspaces of a given 2vector space. I'm not sure how to define it  but surely that's what we want for Klein 2geometry!
Doesn't section 3 of HDA6, where you talk about 2Vect as a 2category equivalent to 2Term, contain the answers? Just look for all '2monic' 2morphisms into your 2vector space.
John wrote:
I'm afraid David is being a bit... well, evil.
David wrote:
Thanks for pointing out my sins. I'll go flagellate myself with a category of nine isomorphism classes of tail.
It's probably better if you just quit being evil. For good. In real life this is hard, but in category theory it doesn't take being a saint: you just need to build a little mechanism into your conscience that automatically avoids "equations between objects".
This mechanism will make little warning bells chime before you speak of a "subcategory" in the naive sense as one whose inclusion functor
C > D
is (among other things) onetoone on objects. Since this concept involves equality between objects, it's almost sure to be evil.
Of course, you also need to have a builtin mechanism that takes the concept "subthingie" and automatically translates it into "monomorphism between thingies". No naive "subsets" here, please! Such concepts should be expressed in terms of arrows.
So, when you learn to shun your evil ways, before you say "subcategory" your conscience will cry "Wait! I mean something like monomorphism between categories!" And then it'll cry "Wait! How can I formulate this notion without mentioning equations between objects?"
Okay, that concludes today's sermon.
Next, I was trying to nudge you towards some answers to these questions of conscience....
What are some good notions that we can use to talk about a functor
C > D?
I can think of three.
David replied:
Snaffling a piece of your presence elsewhere in the blogosphere, here's one:
Makkai’s concept of an “anafunctor” F: C > D, which assigns to each object in C not a specific object of D but only the universal property of an object in D.
Anafunctors? We're talking about nonevil properties of functors right now, not replacements for functors. The three properties I was hinting at are well known to you:
faithful,
full,
essentially surjective.
These are all fundamentally "surjectivity" properties  I think we've talked about that before. But, "faithfulness" acts like an "injectivity" property, because while it really means (something like) "surjective on equations between morphisms", this turns out to mean (something like) "injective on morphisms".
And that's good, because right now we're looking for injectivity properties, since we're trying to understand monomorphisms between categories in a nonevil way.
So, we know how to say
C > D
is "injective on morphisms" in a good way  we say it's faithful.
The question is, how to say it's "injective on objects" in a good way.
In other words, what should "essentially injective" mean???
I should think those Chicago notes contain more, perhaps in the appendix.
My gosh, you're right! I think you're talking about Section 5.5, Epimorphisms and monomorphisms, starting on page 47 of the current draft.
However, this stuff gets a bit involved, and I'm not sure it even answers the key question at hand, namely:
What's a nonevil way to say a functor is something like "onetoone on objects"?
As for what about a functor wants to make you say it's a 'subcategory', there must be some construction from 2category theory which is equivalent to 'monic' in 1category theory. Something along the lines of F: C>D is a subcategory if for any two functors G,H: B>C with FoG naturally isomorphic to FoH, then G is nat. isomorphic to H.
Nice! Yes, that's a nonevil concept, and it's a bit like some things Mike talks about in Section 5.5  but not quite the same. It might be just what we want, but I can imagine a very direct lowbrow nonevil way to express the idea of "onetoone on objects", too.
John Baez wrote:
The question is, how to say it's "injective on objects" in a good way.
In other words, what should "essentially injective" mean???
I'm not sure if that works, since if we have a skeleton skel(C) of a category C, the desired `subcategory' A \to C needs to be a subcategory of skel(C), as a category is equivalent to any of its skeletons.
So we send each object in C to a chosen representative of its isomorphism class to get skel(C), and the composite A \to C \to skel(C) is certainly not injective on objects.
Street's old paper ``Twodimensional sheaf theory''
has as one of its aims a 2categorical version of a regular category (strict, mind you) and he defines an arrow (e.g. a functor) in a 2category to be chronic when it is fully faithful and injective on objects. In the bicategorical version of this, he drops the injective on objects. He also discusses socalled acute arrows which act like regular epimorphisms in a category (e.g. G \to G/H for a normal subgroup H). One could then possibly define normal 2subgroup to be the kernel of such a morphism in the bi/2category of 2groups. I think Vitale and others have considered what the kernel of a map between 2groups is. Actually, now that I think about it, Vitale did a bit more that that in ``A PicardBrauer exact sequence of categorical groups''.
Can we get categorical versions of the isomorphism theorems, with isomorphism replaced by equivalence? This is a very relevant point for the Klein part of this discussion (I apologise like the rest for diversions)  how `transitive' are subfigures? How do we compare G//H to
(G//K)//(H//K)
for K normal in H normal in G? Or has this been done while I wasn't watching?
Back to a old topic, I always wondered what an equivalence relation on a category was, given an equivalence relation on a set is a groupoid. Here of course we are interested in the 2equivalence relation: ``Is in the same orbit of the given 2group''. This sould be much easier to figure out than the general case.
Here's an example close to my heart: Take the one point topological space pt with a Gaction (G a compact Lie group for a comfortable example). (Homotopy) quotient it. The map q: pt \to pt//G is onto. If G is abelian, we can take pt of course to be the trivial group and we can get a group structure on pt//G (in fact a 2group structure!). What is the kernel of q?
Also, does a normal 2subgroup have to be invariant under the ``conjugate'' action, or only up to equivalence?
One other point: when we get to BaezCrans 2vector spaces, what happened to the Postnikov information (=associator) one gets when classifying 2groups?
I can imagine a very direct lowbrow nonevil way to express the idea of "onetoone on objects", too.
Something like F: C>D is onetoone on objects whenever, for any pair of objects X,Y in C, if F(X) and F(Y) are isomorphic in D, then X and Y are isomorphic in C.
Might that be called 'full on isomorphisms'? Pause for quick Google search. Aha!
"...we call a functor U :A >C pseudomonic if it is faithful and if, moreover,it is full on isomorphisms: the latter means that any invertible h : UA > UA' in C is Ug for some (necessarily unique) g : A > A' in A, which by an easy argument must itself be invertible." p. 230 of this.
dm roberts said:
I'm not sure if that works, since if we have a skeleton skel(C) of a category C, the desired `subcategory' A \to C needs to be a subcategory of skel(C), as a category is equivalent to any of its skeletons.
So we send each object in C to a chosen representative of its isomorphism class to get skel(C), and the composite A \to C \to skel(C) is certainly not injective on objects.
Isn't this precisely why John said essentially injective on objects? The pseudomonic construction seems to deal with your example.
Does it make life easier working with skel(2Vect), along the lines of:
d:C^b_1 > C^b_0, with d the zero map, Betti numbers b_0 and b_1.
We also need to make sure that the image of our monic functor is indeed a category. The concept of essential injectivity must be strong enough to ensure that.
For, in general, the image of a functor is not a category, because the image of morphisms may become composable while the preimages were not.
I don't know if this is terribly relevant to the present discussion. But we were concerned with this issue when I visited Zoran Skoda and Igor Bakovic in Zagreb a while back, where we tried to understand coequalizers in Cat in order to understand associated 2bundles.
I am aware of this paper which deals with the issue by passing, essentially, to the smallest subcategory which contains the image of a given functor.
We also need to make sure that the image of our monic functor is indeed a category. The concept of essential injectivity must be strong enough to ensure that.
For, in general, the image of a functor is not a category, because the image of morphisms may become composable while the preimages were not.
Doesn't the faithfulness condition handle this? If the images compose, then there is an arrow, not necessarily the composition, whose image is the composition.
What are the pseudomonics into
d:C^b_1 > C^b_0, with d the zero map ?
As all maps are isos, we need a full and faithful functor, which must come from 2vector spaces with 0th Betti number less than or equal to b_0, and 1st Betti number equal to b_1. If correct, isn't this wrong:
Also nice is that whenever we have a nontrivial "2vector subspace" W in V, we get an inclusion
PW > PV
These give "figures" like projective points, lines, etc. in our projective 2space. But now the types of figures are indexed not just by dimension, but by two Betti numbers!
I'm intrigued why you were called "evil"! Was it something you said? Wrote? Thought?
Andy,
Don't worry, this is a blog carefully restricted to pleasant people. If you search for where John Baez says,
I'm afraid David is being a bit... well, evil,
you'll see he meant it in a technical sense:
But what do I mean by evil? This is a technical term here: it means "not invariant under equivalence of categories".
See, David? I knew that if you let me call you "evil", your blog would get some new readers. Blogs thrive on conflict; we're too nice to actually fight, so we have to invent technical terms that make it look like we're fighting.
If you search for where John Baez says,
"I'm afraid David is being a bit... well, evil"
you'll see he meant it in a technical sense:
"But what do I mean by evil? This is a technical term here: it means "not invariant under equivalence of categories"."
Yes, I'm afraid David is not invariant under equivalence of categories.
Seriously, the fascinating thing about categorification is that by deliberately excluding certain syntactically wellformed concepts (those involving equations between objects), one obtains a more interesting theory! At present, we mainly accomplish this by moral suasion  arguing that certain concepts are "good" and others "evil". I'm highlighting this in a jokey way by making "evil" into a precise technical term.
But, it may not be satisfactory in the long run to exclude certain concepts by moral pressure. The logician Michael Makkai has grabbed the bull by the horns and made infinitycategories into a new "foundation for mathematics" in which there are no equations! This system is called FOLDS, or firstorder logic with dependent sorts, and David and I saw Makkai explain it at the IMA conference on ncategories a couple summers ago. In this system you just can't say anything evil. It may never catch on, but it's a truly bold conception.
John wrote:
I can imagine a very direct lowbrow nonevil way to express the idea of "onetoone on objects", too.
David wrote:
Something like F: C>D is onetoone on objects whenever, for any pair of objects X,Y in C, if F(X) and F(Y) are isomorphic in D, then X and Y are isomorphic in C.
Right! That's one straightforward way to weaken the definition of "onetoone on objects". Jim calls such a functor essentially injective.
David wrote:
Might that be called 'full on isomorphisms'? Pause for quick Google search. Aha!
Oh, interesting. But notice,
"full on isomorphisms" does not mean the same thing as "essentially injective"  it's a stronger property:
"...we call a functor U :A >C pseudomonic if it is faithful and if, moreover,it is full on isomorphisms: the latter means that any invertible h : UA > UA' in C is Ug for some (necessarily unique) g : A > A' in A, which by an easy argument must itself be invertible.
You see, he's not just saying "if UA and UA' are isomorphic, then A and A' are isomorphic". He's saying every isomorphism between UA and UA' is the image of an isomorphism between A and A'!
I don't feel very knowledgeable about this stuff. So, it's quite possible that "full on isomorphisms" is the notion we really want, not "essentially injective".
In general, you can do a lot more if you talk about specific isomorphisms rather than "isomorphicness". It's really helpful to get rid of the existential quantifier built into the latter concept. This suggests that "full on isomorphisms" is more useful than "essential injectivity".
So does the fact that someone already decided to define pseudomonic to mean
faithful and full on isomorphisms!
So, I need to do some reading and thinking, but we might wind up using pseudomonics instead of naive, evil "subcategories".
Urs wrote:
We also need to make sure that the image of our monic functor is indeed a category.
The naive concept of image of a functor
F: C > D
is evil, since it contains those objects that are equal to objects of the form F(c). An object isomorphic to one in the image might not be in the image.
There are various nonevil substitutes for the notion of image; Toby uses the "full image" in his notes on properties, structure and stuff, and this is a category  but it's not what we really want here.
I need to think about this a little bit....
Anyway, we're making progress!
Urs wrote:
... in general, the image of a functor is not a category, because the image of morphisms may become composable while the preimages were not.
Right. I claim that annoying behavior like this is to be expected, since "image" is an evil concept. But in some cases, the image will be a category.
Doesn't the faithfulness condition handle this? If the images compose, then there is an arrow, not necessarily the composition, whose image is the composition.
It sounds to me like you're using fullness here, not faithfulness. The image of a full functor is a subcategory for the reason you said. Remember, a functor is full if any morphism between objects in the image is in the image.
I think we can see that the image of a pseudomonic doesn't suffer from the problem Urs mentions. Suppose
F: C > D
is pseudomonic: that is, faithful and full on isomorphisms. Suppose
f: d > d'
and
f': d' > d''
are morphisms in the image of F. Why is their composite in the image of F?
We have
f = F(g)
f' = F(g')
but as Urs points out, there's a problem! g and g' might not be composable:
g: c > c'
g: c'' > c'''
but we may not have c' = c''. We only know
F(c') = d' = F(c'')
But now we use the fact that F is full on isomorphisms! There's an isomorphism
1: F(c') > F(c'')
so this must be the image of some morphism
h: c' > c''
This h bridges the annoying gap between c' and c''. Now look at
ghg': c > c'''
where I'm composing morphisms lefttoright. We have
F(ghg') = F(g)F(h)F(g') = f1f' = ff'
So, ff' is indeed in the image of F! Hurrah! QED!
Now let's do a little postmortem on this proof.
First, we only needed the fact that F was full on isomorphisms. Faithfulness was irrelevant.
Second, while "full on isomorphisms" gets the job done, I don't think the weaker "essential injectivity" would work. We need to take a specific isomorphism in D:
1: F(c') > F(c'')
and find a morphism in C that maps to it. It would not suffice to say "since F(c') and F(c'') are isomorphic, c' and c'' must be isomorphic."
This is the kind of thing I meant when I said it's more powerful to work with specific isomorphisms than "isomorphicness", i.e. mere existence of isomorphisms. I hadn't known it would be important here, but it's a lesson one learns over and over  and we're learning it again here.
So, for better or worse:
Theorem: The image of a functor
F: C > D
is a category if F is full on isomorphisms.
I'm sure this is already known by those wiser than I.
Note this theorem is stated in an evil manner, since it uses the concept of "image".
However, the concept of "image" is not actually evil when F is full on isomorphisms, since any object isomorphic to one in the image is again in the image!
So, pseudomonics seem like the right substitute for naively defined "subcategories".
Or, there could be more than one good substitute. I'm actually inclined to believe this, due to some reflections on properties, structure, stuff and ekastuff. But, pseudomonics at least seem like one good substitute.
D. M. Roberts wrote:
Can we get categorical versions of the isomorphism theorems, with isomorphism replaced by equivalence?
How do we compare G//H to
(G//K)//(H//K)
for K normal in H normal in G? Or has this been done while I wasn't watching?
No, we haven't gotten this far yet. We're still struggling to understand the notion of "sub2group"! That's how we got into studying various notions of "subcategory": first an evil notion proposed by David, and now an improved one, namely "pseudomonic functor".
So, now we can define a sub2group of a 2group G to be a 2group H equipped with a pseudomonic homomorphism
i: H > G
In case you're wondering, a 2group homomorphism was defined in HDA5 to be just a weak monoidal functor between 2groups.
As Urs and you pointed out, we could have shortcircuited some of this work if we'd only wanted to understand "normal" sub2groups, since we could define them as kernels of homomorphisms. But, since we're doing Klein 2geometry, we really need to understand quotients
G//H
where H is an arbitrary sub2group of G. These are the "2spaces of geometrical figures" in Klein 2geometry.
So, we're getting close to tackling questions like the one you mentioned, but we're not there yet.
One other point: when we get to BaezCrans 2vector spaces, what happened to the Postnikov information (=associator) one gets when classifying 2groups?
Ah, good  a question I can answer. Short answer: it's trivial!
Long answer: 2groups are secretly the same as connected pointed spaces with only pi_1 and pi_2 nontrivial  all higher homotopy groups vanishing. So, they're classified up to equivalence by:
pi_1: the group of isomorphism classes of objects.
pi_2: the group of automorphisms of the identity object.
an action of pi_1 on pi_2 by "conjugation".
an element of the 3rd cohomology group of pi_1 with coefficients in pi_2, coming from the associator.
(This is explained in HDA5 and, in a more handwaving way, in my notes on ncategories and cohomology, in the section called "A LowDimensional Example".)
The last two bits of information  the action and the 3rd cohomology class  are called Postnikov data. What happens if we make them trivial  make the action trivial and the cohomology class vanish? Suppose just for good measure that we also make pi_1 abelian! What do we get?
Then we get a specially simple sort of 2group, which is secretly just a 2term chain complex of abelian groups!
2vector spaces are the special case of this where our abelian groups are vector spaces.
All this generalizes massively! Chain complexes of abelian groups are secretly just connected pointed spaces with pi_1 abelian and all Postnikov invariants trivial. Such spaces are just products of EilenbergMac Lane spaces:
K(A,1) x K(A',2) x K(A'',3) x ...
This is how homological algebra sits inside homotopy theory!
I could talk a lot more about this, but I'll resist.
David wrote:
What is the proper definition of an abelian/soluble/nilpotent/simple 2group?
I've been meaning to say something about this for a long time. I already said that 2groups come in 3 amounts of abelianness: 2groups, braided 2groups and symmetric 2groups. In general, ngroups come in n+1 different flavors, increasingly abelian as we march down the periodic table.
But what about "simple" ngroups?
There really are no simple ngroups except for simple 1groups  that is, ordinary simple groups. By definition, a "simple" gadget has no nontrivial quotients. We can always form a quotient of an ngroup which is an (n1)group, by decategorifying it. This quotient is nontrivial except when n = 1.
This leads to the theory of Postnikov towers, explained in my lecture notes. Using this theory, we can describe general ngroups as built up from simple groups, "glued together" using group cohomology.
The most familiar case is how we build up arbitrary groups from simple groups via iterated extensions. Extensions are classified using (nonabelian) 2nd cohomology. To build up ngroups, we need higher cohomology classes, up to the (n+1)st cohomology. For 2groups, a 3rd cohomology class describes the associator  I described this in my last post.
So, the classification of finite simple groups is the first step on the road to classifying all finite ngroups. This road may well be too long and twisty for humans to ever see the end of it. Even classifying all finite groups is beyond us! But, we can still get lots of useful information by trying to understand how general ngroups are built up out of simple groups.
Wow, everyone's been busy overnight (for me ;)
So pseudomonic ensures when we pass to isomorphism classes we get everything, with assuming the nonisomorphisms have a preimage.
In the paper of Vitale I mentioned earlier (since now I've had another look) he gets up to exact sequences and all the stuff one does in (semi)abelian categories but now for 2groups.
There is a not too difficult characterisation of 2group homomorphisms (full, faithful, eso etc) in terms of what the homotopy groups and the induced maps do.
For instance, F:G \to H is
1)eso iff pi_0(F) is surjective,
2)faithful iff pi_1(F) is injective,
3)full iff pi_0(F) is injective and pi_1(F) is surjective,
and
4)an equivalence iff pi_1(F) and pi_0(F) are isomorphisms
I'm thinking of G,H as monoidal cats here, not oneobject 2cats.
Since we classify 2groups up to these homotopy groups (with some Postnikov data) how do we say `pseudomonic' in this language, or have we forgotten too much information. Well, since 2groups are groupoids, all morphisms are isos, so pseudomonic is an overly large tool for the job.
In this system you just can't say anything evil. It may never catch on, but it's a truly bold conception.
Once we get it to work in math, all we'll need is to find a similar language for the rest of life. Trouble is the relation being saying and doing is somewhat different there.
After my last posts, and the realisation while watching a film that I'd made all kinds of mistakes, as John pointed out, I was going on happily to think about the automorphism 2group of a 2vector space (the film being a bit dull).
Now, I return and pseudomonics are flavour of the month. So how about the problem I raised:
What are the pseudomonics into
d:C^b_1 > C^b_0, with d the zero map
As all maps are isos, we need a full and faithful functor, which must come from 2vector spaces with 0th Betti number less than or equal to b_0, and 1st Betti number equal to b_1.?
In general, doesn't this make the range of sub2groups of a 2group rather boring? For instance, that example from way back about symmetries of two triangles, we were looking at a 2group with 72 objects and 72 x 36 morphisms, and thought we were considering a sub2group with just identity morphisms. According to the pseudomonic story it's not a sub2group. It wasn't even essentially injective on objects.
David, John  Aha. I see now. It was just a trick to get more people sucked into the categories :)
we could have shortcircuited some of this work if we'd only wanted to understand "normal" sub2groups, since we could define them as kernels of homomorphisms.
Do we know that the inclusion of a kernel of a 2group homomorphism is pseudomonic (or even injective on objects)? Is the definition of kernel fixed? Is there a notion of 'essential kernel'?
The really interesting puzzle is how a boring 2group can seem interesting: for example, how a weakly trivial 2group can have nontrivial sub2groups.
I thought I answered this puzzle  but now it looks like I never got around to it! Whoops!
Now you answer it by saying that evil has intruded. But in the original context of the question back in July, you pointed out:
When people tried to categorify the theory of Kbundles, without quite knowing at first what they were doing, they basically invented the theory of AUT(K)2bundles  but under a different guise: they called it the theory of "nonabelian Kgerbes".
and that for some K, AUT(K) is equivalent to K<K, and so trivial. How can a trivial 2group be important?
I knew one needed fortitude to pursue mathematical research, but now I'm feeling that need. 4 months in and we're still wondering what a sub2group is. Is there any glimmer of gold ahead, or will it be iron pyrites for the foreseeable future?
David wrote:
I knew one needed fortitude to pursue mathematical research, but now I'm feeling that need. 4 months in and we're still wondering what a sub2group is. Is there any glimmer of gold ahead, or will it be iron pyrites for the foreseeable future?
Welcome to mathematics! Remember how I wondered in July if we'd have the energy to stick with this stuff?
Well, I know I do have the energy  I'm really happy about how things are going now. If you get tired, don't feel bad. You can quit if you like, now: you helped me over the hump, and that's all I could ask.
Now we know what projective 2geometry is! Even better, we've quit fiddling around and started doing some serious work  like figuring out what a sub2group really is. It's subtler than one would have guessed! Before, we were just sort of crossing our fingers and hoping everything would work more or less like the decategorified case. That's good for starters, but now we've moved beyond that stage. Lemmas are starting to accumulate; we're sifting through candidate definitions  "essentially injective" versus "full on isomorphisms", that kind of stuff. In short: it's not just dreaming anymore; it's becoming a real subject, with ties to homological algebra (chain complexes), homotopy theory (Postnikov towers), algebraic geometry (those projective 2spaces) and more. In another year or two, something impressive might actually happen.
This is how it always goes. Perhaps you're think ugh, it's getting to be a technical mess when I'm think hey, there are some really interesting questions here to straighten out  it's not all trivial!
It's really late now; tomorrow I'll tell you some stuff about sub2groups.
Well it wasn't quite up there with Henry V's speech on the eve of Agincourt, but it'll do. Anyway, I wouldn't miss this trip for the world.
Well it wasn't quite up there with Henry V's speech on the eve of Agincourt, but it'll do.
Well, the troops being rallied aren't about to get riddled with arrows, either.
Or maybe they are....
I'm no longer sure "pseudomonics" are the right substitute for "monics" when we go from groups to 2groups. I spent several hours at that Starbucks, cranking out math in a caffeinated frenzy, so I'll try to briefly summarize what I found. But first, I want to emphasize some excellent points D. M. Roberts made.
For starters, if we think of a 2group as a category, every morphism in it is an isomorphism. So, for maps between 2groups, "full on isomorphisms" just means "full", and "pseudomonic" means "full and faithful". Fewer nuances to worry about  good!
Second, when we're trying to understand maps between 2groups, we should focus on data that's invariant under equivalence. As I mentioned a while back, a 2group is known up to equivalence if we know its pi_1, its pi_2, the action of pi_1 on pi_2, and a 3rd cohomology class. Similarly, a map between 2groups
F: G > H
is known up to equivalence if we know the induced maps
pi_1(F): pi_1(G) > pi_1(H)
pi_2(F): pi_2(G) > pi_2(H)
So, it should not at all be surprising that interesting properties of F can be phrased in this language. D. M. Roberts gave us a handy dictionary. Let me flesh it out a bit, and translate it into my favored numbering scheme:
F is essentially surjective iff pi_1(F) is surjective.
F is essentially injective iff pi_1(F) is injective.
F is full on automorphisms if pi_2(F) is surjective.
F is faithful iff pi_2(F) is injective.
And some secondary notions:
F is full iff pi_1(F) is injective and pi_2(F) is surjective.
F is an equivalence iff pi_1(F) and pi_2(F) are isomorphisms
The only one of these that seemed tricky to me was "full". Remember, F is full if given a morphism
f: F(x) > F(y)
we have
f = F(g)
for some
g: x > y
We say F is full on automorphisms if this holds in the special case where x = y and f is an automorphism.
It's just a matter of definitionchasing to see that if a functor F between groupoids is full, it's full on automorphisms and also essentially injective.
Conversely, a functor F between groupoids is full if it's full on automorphisms and also essentially injective!
After all, F is "essentially injective" iff whenever there's some isomorphism between F(x) and F(y), there's some isomorphism between x and y. When we combine this with "full on automorphisms", we see that for any specific isomorphism
f: F(x) > F(y)
we can find an isomorphism
g: x > y
mapping to it. Why? Well, once we know x and y are isomorphic, there's no real distinction between x and y, so "full on automorphisms of x" is really the same as "full on isomorphisms between x and y".
Now, what about sub2groups?
Well, it's tempting to define this concept in terms of the ones we've just listed. If we follow our gut instincts, we might say a 2group homomorphism
F: G > H
exhibits G as a sub2group of H if pi_1(F) and pi_2(F) are both injective. By Roberts' dictionary, this means F is essentially injective and faithful.
This is not the same as "pseudomonic", which in this context means "full and faithful" or essentially injective, faithful and full on automorphisms.
See the culprit? Being "full on automorphisms" is a kind of surjectivity, not a kind of injectivity.
It's too bad the comments here aren't dated, now that this is becoming a kind of communal research diary. Oh well: let it be noted that on Sunday, July 13th I thought about the following things in the Starbucks right next to the Nine Zigzag Bridge.
I was desperately trying to understand sub2groups. So, I thought: in Klein geometry, the conceptual meaning of "subgroup" is really "stabilizer of some point in a set on which a group acts".
So, let's take a 2group G acting on a category X, and let's study the the stabilizer of some object x in X. Whatever this stabilizer is like, maybe this should become the definition of a sub2group!
(Or, maybe not  there are also stabilizers of things more complicated and interesting than a mere object. But never mind!  it's still an interesting exercise.)
Of course we need to define the stabilizer, say Stab(x). There's an obvious way to do this if you're careful not to be evil. I'll just sketch it.
The stabilizer Stab(x) is a 2group with the following objects and morphisms. An object of Stab(x) is an object g of G together with an isomorphism
a: gx > x
Nota bene: we're not evilly demanding that gx = x; we're specifying an isomorphism between them!
A morphism of Stab(x), say
from
g, a: gx > x
to
g', a': g'x > x
is a morphism f: g > g' in G making the obvious triangle commute. Namely,
a: gx > x
should equal the composite of
fx: gx > g'x
and
a': g'x > x.
It really looks much prettier as a triangle!
With some work one makes Stab(x) into a 2group  I didn't check everything here, but I'm following the tao of mathematics so I'm sure everything works, even when G is a weak 2group and its action on X is also weak  the general case. I also feel sure we get a 2group homomorphism
i: Stab(x) > G
By the philosophy I described, this "inclusion" of Stab(x) in G should be a great example of a sub2group!
But, even if the above went by in a blur, you'll surely note that objects of Stab(x) are objects of G equipped with extra structure!
That's a bit scary, since it means we're "losing something" when we map from Stab(x) to G  not what we'd naively expect when dealing with "the inclusion of a sub2group"!
But, what are we losing, exactly? The point is that
i: Stab(x) > G
"forgets extra structure". There can be lots of different ways to make an object of G into an object of Stab(x)  lots of different ways for a guy in a 2group to stabilize a guy in a category it's acting on! Or, there can be no way at all! Choosing such a way is choosing extra structure.
If one is familiar with the yoga of properties, structure and stuff, one knows that "forgetting extra structure" means our functor is faithful, but it can fail to be full or essentially surjective.
By D. M. Roberts' handy chart, as polished by yours truly:
i is faithful: pi_2(i) is injective. YES.
i is essentially surjective: pi_1(i) is surjective. MAYBE NOT.
i is full: pi_1(F) is injective and pi_2(F) is surjective. MAYBE NOT.
We should not be surprised that something about i fails to be surjective. We may be surprised if something about it fails to be injective  since it's the very role model of an "inclusion of a sub2group".
So, the only surprising thing on the list is that pi_1(i) may not be injective. In other word: i may not be "essentially injective"! Objects that are not isomorphic in the sub2group may become so in the 2group!
But this is not really surprising if you think about it. When we go from a sub2group to a 2group, we can throw in new morphisms, which can make objects isomorphic that weren't before.
Moral: the inclusion of a sub2group
i: H > G
had damn well better be faithful (injective on pi_2), but it might not be essentially injective (injective on pi_1).
I learned something else about
i: Stab(x) > G
too! Namely, it's a discrete fibration of groupoids. Any morphism in G lifts uniquely to Stab(x) once we've lifted its source.
The fact that
i: Stab(x) > G
is a fibration is nice  but in a sense no big deal, since any functor can be "improved" to be a fibration. The fact that it's a discrete fibration  the uniqueness of the lifting  is more interesting.
Okay, that's basically it for Sunday's Starbucks session. I'm sure it's too much for almost everyone!
I should have made clear the `dictionary' is not mine but Vitale's.
Back to an old question,
david wrote:
Can 2groups be defined in terms of generators and relations?
The free groupoid on a graph + free group on the set of vertices should give us something like a free strict 2group. the homotopy quotient by some sub2group should give us what we want. So what is a 2group of relations? Not equalities, but isos between objects (we have them) and a relation on morphisms.
On quotienting, it's almost (trying not to be evil) like we make some objects equal, keep the maps between them as automorphisms and identify some morphisms as the same. That is very handwaving and apologies for it. I feel like this operation is like in homotopy when one when one contracts a subcomplex (objects becoming equal) or throws cells in to fill up unwanted spheres  in this case we are in very low dimensions, so circles and disks (morphisms becoming equal). Or am I completely wrong?
I can't think immediately of some homotopy group explanation/long exact sequence where one gets this stuff from.
It's too bad the comments here aren't dated, now that this is becoming a kind of communal research diary. Oh well: let it be noted that on Sunday, July 13th I thought about the following things in the Starbucks right next to the Nine Zigzag Bridge.
But they are dated, and just as well as you got the month wrong! I hope you didn't doing any carving into the Nine Zigzag Bridge
david wrote (a while ago):
Do we know that the inclusion of a kernel of a 2group homomorphism is pseudomonic (or even injective on objects)? Is the definition of kernel fixed? Is there a notion of 'essential kernel'?
Perhaps this was too obvious, but here we go: is the kernel of a 2group homomorphism F:G \to H the homotopy fibre (call it K) over the tensor unit I? (thinking of the beasties as monoidal cats  otherwise as the fibre over the identity of the unique object if they were bigroupoids).
That is, objects of K are objects g in G such that F(g) is isomorphic to I, and morphisms are(iso)morphisms f in G such that F(f) = Id_I.
I haven't time to check the properties of i:K \to G, but it is certainly a truly injective functor. If h is iso to g in G and g is in K then h is in K, so we get whole isomorpism classes at least. There should also be a universal property here so the kernel is defined only up to equivalence, but like when we talk about pullbacks, this seems to be a nice explicit description.
One other point, echoing the point that an nvector space is a nterm chain complex of vector spaces, I seem to recall that a strict ngroup should be a simplicial group with only nterms of its Moore complex nonzero. I don't want to define the Moore complex here (it's nasty), but to say the least, it gives a chain complex of nonabelian groups (the construction is such that all images are normal). For a 2group, the crossed module G_1 \to G_0 is that Moore complex.
Moral: the inclusion of a sub2group
i: H > G
had damn well better be faithful (injective on pi_2), but it might not be essentially injective (injective on pi_1).
Just to get this straight, let's return to my original sin, where evil first became apparent in Paradise.
I said:
might it be that although 2vector spaces are classified up to equivalence by 2 natural numbers, that it makes a difference to their 2vector subspaces? E.g,
1: C > C
and
1: {0} > {0}
are equivalent, but the former has a nontrivial sub 2space.
I was referring to the 2vector space i:{0} > C, which appeared to be a subspace of the former but not the latter. Now, according to the current definition, as this subspace is clearly faithful into C > C, it must be a subspace. So it had better also be a subspace of {0} > {0}. And, Lo and Behold, it is!
Hmm, any discrete 2vector space is a sub 2vector space of the trivial one! The only criterion to satisfy for being a sub 2vector space of a 2vector space with Betti numbers (b_0, b_1) is to have first Betti number no larger than b_1.
Hmmmm, but then can't we have (6, 0) as subspace of (3,0) and vice versa, without them being equivalent?
Either I'm making some obvious blunder, or the world of 2groups is quite strange.
John wrote:
"[...] now that this is becoming a kind of communal research diary."
Yes, it's great. This is the sort of web discussion that I like a lot.
Since you like it, too, and if we all feel that the software running this is not particularly inspiring, maybe we should think about starting  a new group blog.
Some blog with advanced software, hosted by maybe John, David, myself, possibly others  filled with lots of the sort of discussion that we apparently all enjoy.
If you don't like this idea, never mind. If it sounds at least interesting, then the most immediate thing I could do about this is to ask Jacques Distler if he would be willing to set up and administrate such a blog for us.
Jacques originally offered to set up the string coffee table, which runs the same software as his personal blog, when he heard me and others talk about the desire for an online place for disucssion of string theory.
You are all probably aware how the story continued, the outcome being the somewhat strange situation we have now.
So, I could ask Jacques if he would maybe abandon the SCT in favor of a true group blog  research diary style.
That's just the most immediate option I can think of. If you like the idea of a group blog, but don't want to depend on a third party administrating it (although to me this is a feature, not a bug) we could of course also try to set up the software ourselves.
What do you think?
Urs wrote:
Since you like it, too, and if we all feel that the software running this is not particularly inspiring, maybe we should think about starting  a new group blog.
What do you think?
It sounds like an interesting idea, but I have various worries. Let's discuss it over email.
After some stewing and brewing, the ideas in the previous post have corrected themselves a bit.
That is, objects of K are objects g in G such that F(g) is isomorphic to I, and morphisms are(iso)morphisms f in G such that F(f) = Id_I.
Better is the following (recall F: G > H is a 2group homomorphism, K it's proposed kernel) :
Ob(K) = g in G and j_g an arrow of H such that h:F(g) > I_H, for I_H the tensor unit in H
Arr(K) = a an arrow of G, a:g1 > g2 such that F(a) form a commutative triangle with j_g1 and j_g2
Here (g1,j_g1) a> (g2,j_g2) is the arrow in K.
The inclusion map to G just forgets the extra structure given by the isomorphism j_g
This looks awfully similar to John's definition of the stabilizer of a element in a category with a Gaction, and I too invoke the tao of mathematics (or possibly just a slightly more vigorous handwave ;)
If we consider the category of subgroups of a given 2group (well, should probably be a 2category, and we haven't fully got a handle on sub2groups yet) with inclusions the morphisms (and I suppose transformations of inclusions too, to be safe) then I would imagine the above construction describes the kernel as its own stabilizer. Left and right mulitplication by an object of the 2group are eqivalences by definition, and so isomorphisms
 x g: K > Kg
g x : K > gK
in the (2)cat of subgroups of G, and a:g1 > g2 will give us a (natural) isomorphism between
 x g1 and  x g2,
and
g1 x  and g2 x .
Can we take this further and say that all sub2groups of a 2group G are the stabilizers of the subcategories of G, the action given by mulitplication? Many stabilizers will be trivial (or equivalent to trivial)  those of subcategories which aren't sub2groups. This certainly works for the lattice of subsets of a honest group, and feels more Kleinian.

The other polished point is the free 2group. Take a oneobject 2globular diagram (so a lot of edges from a vertex to itself with unoriented 2cells thrown in). Take the free groupoid, or I suppose the fundamental bigroupoid, of it. I'm not sure if the interchange law comes for free or not.
We can then throw in some more isomorphisms = relations, possibly using a double 2category construction, but one which is still a legit 2category (this is just a bit easier for me to visualise). We get some empty tin cans and some full ones, and this should be done in a way such that the homotopy groups...
I just had this crazy realization: when I consider the homotopy groups of this free 2group as above, what I'm doing is taking a 2D connected cell complex and forming its homology groups. This is why I love maths!
For a finite complex, the homotopy groups will be free groups modulo the relation `are homologous'.
This also connects in a very nice way with the Betti numbers so far used.
Back when David was evil, he was worried that equivalent vector 2spaces could have very different vector sub2spaces. For example,
1: C > C
and
1: {0} > {0}
are equivalent, but the former has a nontrivial sub2space, namely
i:{0} > C
which is not a sub2space of the latter.
But now he's using a definition of "sub2group" where we say H is a sub2group of G if it's equipped with a faithful functor
i: H > G
Now, according to the current definition, as i:{0} > C is clearly faithful into C > C, it must be a sub2space. So it had better also be a sub2space of {0} > {0}. And, Lo and Behold, it is!
Of course this is just a consequence of using a nonevil definition of "sub2space". Nonevil means "invariant under equivalence", so of course any nonevil definition gives answers that are invariant under equivalence.
But this does not mean we have the correct definition of sub2space.
Indeed, you're jumping the gun slightly. I hadn't quite gotten around to officially proclaiming a definition of sub2group. In my Starbucks session I observed some properties of "stabilizer sub2groups" and guessed that these should be part of the definition of "sub2group". I also noticed some properties that shouldn't be part of the definition. But, I never claimed to have discovered all the properties of stabilizer sub2groups.
So, I still have a chance of weaseling out of any paradoxes you throw my way: I can claim there's some extra clause in the definition of sub2group that saves the day.
Or, if that doesn't save me, I can pull another trick.
Note that we're talking about sub2groups for two different reasons here. First, so we can talk about stabilizer sub2groups, which are fundamental to Klein 2geometry. Second, so we can talk about vector sub2spaces, which are fundamental to projective 2geometry.
It's great that we've got these two different reasons for thinking about sub2groups: it lets us study them from different angles. But, we can't be 100% sure that the same class of sub2groups will be the right thing for both purposes. Sometimes notions "split in two" when you generalize them. When you categorify, you always have to keep in mind this possibility. So, maybe this is what's going on.
(Of course I don't want to play that card prematurely  it's nicest when concepts categorify in a unified way, without fragmenting.)
Anyway, you're doing a great job of putting me on the hotseat, making me struggle to come up with a beautiful theory that's not "too weird" in one way or another. But, I don't feel you've got me boxed in yet.
I'm glad you're being agonistic, not antagonistic. And, always keep in mind Google's corporate motto.
You know, before I go to bed I just want to emphasize that this "splitting of concepts as we categorify" is already famous  precisely in the realm we're struggling with now. The twin concepts of "injective" and "surjective" for functions break apart into three famous concepts for functors: "faithful", "full" and "essentially surjective". The usual factorization of a function into a surjection followed by an injection breaks apart into a threeway factorization, as explained in section 3 here. And, this turns out to be not a mess, but part of a beautiful pattern.
So, it's quite possible that slugging it out over the puzzle "what's the correct generalization of `injection' for 2groups?" is missing the point. We see two important concepts staring us in the face:
injective on pi_1  "essentially injective"
injective on pi_2  "faithful"
And, it may be necessary to deploy both of these, either separately or in combination, in the right ways at the right times.
I'm glad you're being agonistic, not antagonistic.
The delights of dialectic. I've always wanted to live in a Lakatos dialogue. Actually, I think we're being far more respectful to each other than the characters in Proofs and Refutations.
injective on pi_1  "essentially injective"
injective on pi_2  "faithful"
And, it may be necessary to deploy both of these, either separately or in combination, in the right ways at the right times.
If you want to stick with your claim that 2vector spaces can be classified by 2 Betti numbers, (b_0,b_1), and you insist on not being evil, then our current tools to decide about a potential subspace (c_0,c_1) offers us:
(i) faithful requiring that c_1 <= b_1
(ii) essentially injective on objects requiring that c_0 <= b_0
(iii) full on isomorphisms requiring that c_1 >= b_1
I'll bet (i) always gets picked. Tediousness is hardly the right way to judge things, but I'd rather not have (iii) as with (i) we'd have to have c_1 = b_1.
(ii) would mean that i:{0} > C is not a subspace of 1:C > C, or that the 2group with two objects and only identity arrows is not a sub2group of the 2group with two objects and single arrows between each pair.
One more question before I butt out:
I've seen a subobject in a category defined as an equivalence class of monics. Modulo the correct definition of injective for the case of 2groups, would it be more correct to say a sub2group H of G is an arrow H >> G, or an equivalence class of arrows?
Post a Comment
<< Home