7

I've read somewhere that for a categorical diagram to commute, it is enough that all its polygonal subdiagrams commute.

I want a reference and a detailed proof of this.

Please also give a formal definition of polygonal subdiagrams.

Asaf Karagila
  • 405,794
porton
  • 5,225
  • Specifically pentagonal, or just polygonal? – Unit Jun 14 '15 at 14:39
  • @Unit "pentagonal" was a typo. Corrected – porton Jun 14 '15 at 14:43
  • 2
    Could you be more specific? It is true that in a monoidal category, if certain "basic" diagrams commute, then so do other more complicated diagrams constructed from them. For details see here – Matematleta Jun 14 '15 at 14:57
  • @Chilango I don't believe this is the point at all. It's more like this: in a diagram like this, it's enough that each square commute for the whole diagram to commute. And for a square to commute it's enough that both triangles commute. And so on. – Najib Idrissi Jun 15 '15 at 08:05
  • @porton You have read "somewhere"; where, exactly? And what is your precise definition, for a categorical diagram, of "to commute"? The answer will depend on the definition you have (because one could very well take "all polygonal subdiagrams commute" as a definition...). – Najib Idrissi Jun 15 '15 at 08:08
  • See a comment to this question: http://math.stackexchange.com/questions/1377039/which-directed-graphs-correspond-to-algebraic-diagrams – Lehs Jul 28 '15 at 19:11
  • @porton: are you refering to Mclane's coherence theorem ? – KonKan Mar 13 '16 at 23:42
  • @KonKan I don't know such theorem – porton Mar 14 '16 at 08:30

1 Answers1

1

I myself have been recently looking for a citation and a proof, but here (I think) is the idea behind it.

First, to clear up the question, I will assume you are referencing the brief tidbit mentioned in the commutative diagram page on Wikipedia under "verifying commutativity" (https://en.m.wikipedia.org/wiki/Commutative_diagram). This means you are talking about a result concerning diagrams and commutativity generally, not just ones representing categories (at least conceptually). In a hand-wavey way, we assume each of the planar faces of subdiagrams commute and want to show the whole diagram commutes.

So assume all the polygonal subdiagrams in a diagram commute. Formally I think you should proceed by induction on the number of vertices. The base case is trivial. For the inductive step you pick any two vertices and show any two paths to those two vertices are the same. You can do this since any proper subpath is the same route by inductive hypothesis, extending a path and showing it's the same is fine, and paths which are equal to the same path are equal to one another.

Try working through a diagram with only four vertices and some triangles; the general procedure should become clear.