5 ms·

https://en.wikipedia.org/wiki/Commutative_diagram https://en.wikipedia.org/wiki/Commutative_diagram

• noqc 1y ago
  Commutative diagrams are to these squares what category theory is to analogy.
  • gowld 1y ago
    noqc, can you diagram your comment?
  • ogogmad 1y ago
    There's a mapping there, however it's not natural.
• Garlef 1y ago
  I think Double Categories [1] would be a more appropriate setting: In a double category, the vertical and horizontal arrows are of different types. In usual commutative diagrams, they are of the same type. [1]: https://ncatlab.org/nlab/show/double+category https://ncatlab.org/nlab/show/double+category
• ogogmad 1y ago
  Why don't some phrases arrive at the same meaning? They don't commute.