Skip to content

Commutativity preserves IS

June 24, 2012

Dear All,

We all think of function as a process that transforms one object into another or as an equation or as an operation assigning one element of codomain to each element of domain.  In all these descriptions the emphasis is on ‘change’ that the function brings about.  In addition to changing inputs to outputs, if one is into that terminology, there’s something that the function preserves.  In taking elements to elements the function preserves, if I may say so, element-hood.  It’s not that we don’t know that a function assigns elements to elements, but that all too visible facet of function is not highlighted in our conception of function (in our mind or at least my mind).  We can spin a similar yarn w.r.t composition.  The composite of two functions, when defined, is a function.  In other words, composition preserves function-hood.  We can compose not only functions, but commutative diagrams (triangles) depicting composition.  Composite of 2 commutative triangles, when defined, is a commutative diagram (square); so we may say composition preserves commutativity.  Of course, this is all common knowledge; common knowledge, when it’s too common runs the risk of entering practice without conscious awareness that’s needed to communicate.

We use the above exercise of asserting the all too obvious as warm-up to work-out the relation between commutativity and structure (Conceptual Mathematics, page 136).  For the sake of concreteness, we consider two sets A and B, with endomaps x: A –> A and y: B –> B, representing structure on A and B, respectively.  Now given a map f: A –> B, we want to find the relation between f and what it does to the structure (A, x) as it maps into (B, y).

We’ll look at various functions f (also x, and y) beginning with A and B both as singletons, and going all the way until we find the relation between commutativity (whether or not fx = yf) and structure (A, x) mapped into (B, y).  We’d like to know what f does and does not do to the structure (A, x) as it maps into (B, y) when it satisfies fx = yf i.e. when the diagram commutes and when it does not satisfy fx = yf i.e. when the diagram does not commute. Having mastered the art of attending to the mundane (see above), we should be able to get good grasp of the relation between commutativity and structure by the time we get to the cases of both A and B having 2 elements.  We could make the exercise less abstract by considering the structure on sets A and B as ‘<=’ or even more concrete by way of going numerical, say, A = {2, -2}, B = {4, -4} and considering two functions; f1: a |–>2a and f2: a |–> -2a.

In any case I make it (attached Commutative Diagram) as much fun for you as I possibly could.

Thank you,

posina

Commutative Diagram

About these ads
31 Comments

Trackbacks & Pingbacks

  1. Matru devo bhava « Conceptual Mathematics
  2. Names (immobility of things) « Conceptual Mathematics
  3. Property: Preserving, Reflecting « Conceptual Mathematics
  4. Making room for Manx « Conceptual Mathematics
  5. Ideal India « Conceptual Mathematics
  6. Sexy scientist « Conceptual Mathematics
  7. Against Interpretation « Conceptual Mathematics
  8. On choosing from a menu « Conceptual Mathematics
  9. Ménage à trois « Conceptual Mathematics
  10. Voices-sans-volume control « Conceptual Mathematics
  11. Venting venkata « Conceptual Mathematics
  12. Good Algebraic Category « Conceptual Mathematics
  13. All eyes on a universal property « Conceptual Mathematics
  14. Method Mathematics: I. Describing IDEMPOTENCE « Conceptual Mathematics
  15. If TIME were a MAP, « Conceptual Mathematics
  16. Good water « Conceptual Mathematics
  17. TRANSLATION and MEANING « Conceptual Mathematics
  18. Adjoint functors via two-stage variable sets | Conceptual Mathematics
  19. Parts of a map | Conceptual Mathematics
  20. Math–slow n smooth | Conceptual Mathematics
  21. same abstract form | Conceptual Mathematics
  22. How to model a calculator? | Conceptual Mathematics
  23. Telling a story vs. The telling of stories | Conceptual Mathematics
  24. Get the heavens into your head ;) | Conceptual Mathematics
  25. What’s so NATURAL (about Natural Transformation?) | Conceptual Mathematics
  26. — — are everywhere! | Conceptual Mathematics
  27. Structure and Structure-Preserving Maps | Conceptual Mathematics
  28. HOW MINDS THEORIZE: I. Opposites | Conceptual Mathematics
  29. AHIMSA PARAMO DHARMA | Conceptual Mathematics
  30. Morphisms and The Scientific Method | Conceptual Mathematics
  31. Ramayana in Arrow Language ;) | Conceptual Mathematics

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 1,200 other followers

%d bloggers like this: