6
$\begingroup$

Sorry for this whole bunch of questions. Please note, that I know what a commutative diagram is, and that I can somehow read them, at least the simpler ones. But often enough the diagrams are labelled and/or explained verbally, thus my question:

How are commutative diagrams to be read in general? Can they always be deterministically translated into first-order sentences or properties?

Which "background assumptions" are needed for a commutative diagram to make specific sense? (A minimal assumption should be that they tell something about a category. What else?)

Which conventions are used? (e.g. for existence and uniqueness of arrows)

When is it important to label the objects and arrows?

When are verbal explanations necessary?

Does every conceivable diagram mean something?

Are there (graphical) analogues of commutative diagrams for other (relational or algebraic) structures than categories?

  • 1
    You are asking questions of a general nature, but there is no "general theory of diagrams" nor even a established set of conventions with regards to them---different authors will do different things. If you have a specific problem, describing it would help muchly in coming up with useful answers. Otherwise, there is very little concrete to be said, really, apart from «practice makes perfect»: you can now understand "simpler" diagrams... with time, you'll learn o deal with the not so simple ones too!2011-02-16

1 Answers 1

7

Commutative diagrams are, to put it simply, a (very) handy way of writing systems of equations in categories. Instead of having rows of symbols and do symbol-pushing you reason diagramatically and geometrically.

Now, about your questions, I am not sure I understand all of them so my answer may be way off, but here it goes anyway.

Which "background assumptions" are needed for a commutative diagram to make specific sense?

Without going (too) technical here, diagrams in categories are oriented graphs where the vertices are labeled with objects and the edges with arrows and to every path we associate the composite arrow. The problem is that the composite is not well defined in the presence of loops, e.g. think of a single vertex with two loops labeled f and g: does it denote the composite fg or gf? If your labeled graph does not have loops then you are all set.

Note: making this all formal and rigorous is something of a chore and for a little gain. One possible way is to define diagrams of shape $G$ (a graph, for example a square) in a category $A$ as functors $FG\to A$ where $FG$ is the free category on the graph. Then a commutative diagram of a shape $G$ is a functor $FG/R \to A$ where $FG/R$ denotes the quotient of $FG$ by a congruence $R$ that "forces" commutativity, that is, the equality of certain (all) parallel pairs of paths. You can then define the gluing of diagrams along a common diagram as a certain pushout, which allows you to prove that if the smaller pieces of a diagram are commutative then the whole thingy is also commutative, etc.

Which conventions are used? (e.g. for existence and uniqueness of arrows)

I am not sure understand what you are trying to ask here. What problem of existence and uniqueness are you referring to? The existence and uniqueness of a composite associated to a path was treated in the previous answer.

When is it important to label the objects and arrows?

Unless there is no ambiguity about what arrows and objects you are mentioning (or you simply do not need them), feel free to not label the graph. In my experience, this happens very rarely so I tend to label just about everything.

When are verbal explanations necessary?

No general rule here. The best that I can offer is use common sense and know your target audience.

Does every conceivable diagram mean something?

No, see my first answer.

Are there (graphical) analogues of commutative diagrams for other (relational or algebraic) structures than categories?

Yes, there is a fairly sophisticated graphical calculus for braided monoidal categories with duals involving tangles. There are also higher dimensional generalizations of diagrams to n-categories but here the problems of assigning a consistent composite to the corresponding notion of graph are much harder and their computational usefulness is rather limited for reasons that should be obvious. Even 2-diagrams in 2-categories are already very cumbersome. This is actually one of the reasons why higher dimensional category is inherently harder: you do not have a handy graphical calculus and computing anything can range from a pain in the butt to a pain in the (insert ultra-sensitive bodily region here).

Hope it helps, regards. G. Rodrigues

  • 1
    I think the OP was asking what the convention is for indicating that some arrow exists uniquely, e.g. arrows into a pullback object. It seems to me that there's a convention for highlighting particular arrows by drawing them with dashed lines, but I've been told there's nothing more to it than just highlighting.2011-02-16
  • 0
    @Zhen. I'd rather say that non-dashed, solid arrows are the given data of the problem and dashed ones its *solution*, which existence (not necessarily unique) is supposed to be proved somewhere in the surrounding text.2011-02-16
  • 0
    @Agusti: "somewhere in the surrounding text" - that's what I mean with verbal explanations.2011-02-16
  • 1
    @Zhen: I agree with Agusti: the use of dashed arrows is meant to signify that if you have a diagram in which all the solid arrows are in place, *then* the dashed arrow will exist.2011-02-16
  • 0
    @G.Rodrigues: In which sense do you reason "geometrically" with diagrams?2011-02-17
  • 0
    @Hans Stricker: I recognize that it is a bit of vague expression, and I do not presume to have a full answer, but handling commutative diagrams and systems equations feels (at least to me) to be two very different activities. In the latter, you do symbol pushing and your mind's eye must be attentive to the patterns that strings form, while in the latter you prove commutativity by proving commutativity of the smaller pieces and then patch together the result -- it calls for the more geometric and visual parts of your imagination. (cont.)2011-02-18
  • 0
    (cont) Not to mention the fact that many diagrams have familiar shapes, e.g. the associativity law can be written down in the form of a tetrahedron; the same with a cocycle condition (this is no coincidence, as associativity can be seen as a cocycle condition). More examples could be given.2011-02-18
  • 0
    That's funny: The fact that associativity can be drawn in the form of a tetrahedron did appear to me just yesterday: http://mathoverflow.net/questions/55641/commutative-diagrams-for-groups Is this common knowledge, and can you give me a reference where this - seemingly - common knowledge is made explicit (or is it just "folklore")?2011-02-18
  • 0
    @Hans Stricker: folklore. I've probably learned it from some paper dealing with TQFTs (state-sums, the relation of the Pachner moves and categorification, that sort of stuff) but cannot give you any precise reference.2011-02-19