This is a very soft-question so feel free to close it if doesn't fit. I was just wondering what is the largest commutative diagram that you have encountered? Here I am only counting commutative diagrams that are actually useful, e.g if you have an inverse system over a infinite direct poset you could if you wanted to draw out any number of objects but it wouldn't convey any new information compared two just drawing e.g three. It doesn't have to be "largest largest" diagram, any very big diagram is interesting.

  • $\begingroup$ I believe some weirdly large constructions - e.g. surreal numbers, which are a proper class, and in some sense a direct limit of all ordered fields, - can be described in an appropriate setting as a limit of a diagram which itself is a proper class. Does this count? :) $\endgroup$ – lisyarus Apr 23 '19 at 18:34
  • 2
    $\begingroup$ This is a comment not an answer because I can't speak to "largest." But for some scary large diagrams, you can look here: springer.com/us/book/9783540058441 $\endgroup$ – David Feldman Apr 23 '19 at 18:42

Remarkably big diagrams (spanning multiple pages) appear in an attempt by Trimble to explicitly write down axioms for tetracategories, i.e. higher categories with up to 4 levels of morphisms. You can find them here.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.