Skip to main content

Synthesis of Modern Mathematics : Intuitive Category Theory (Definition II)

 In this post we will complete the definition of a category partially done in the last post. 

The third axiom says that for every object in a category there exists an identity arrow of the object. This intuitively says that for every object we can always do nothing and leave the object as it is or in other words transform the object in such a way that it leaves the object exactly in the same state from which we originally started. This translates to no rotation of the propeller (which is same as rotation by 0 degrees or rotation by 360 degrees). This rotation (or effectively no rotation) is the identity arrow of the propeller. Similarly in the case of second object, no permutation (which is same as the permutation in which we send every element to itself) is the identity arrow. Take a visual look to make sure you understand that identity arrow will always exists given an object because we have nothing in effect to do to the given object.


 Now if we ponder on the clockwise rotation by 180 degrees it can be discerned that it is basically two successive clockwise rotations by 90 degrees each. This is noting but composition axiom of a category in disguise. In the fist example observe that if we rotate the propeller by 90 degrees and further rotate it again by 90 degrees then those two rotations can be composed to form a new (composite) rotation which is nothing but rotation by 180 degrees. 


Let us look at another example of the propeller in which we rotate the blades first by 90 degrees and then by 180 degrees both clockwise then we have a composite arrow which is simply a rotation clockwise by 270 degrees.

Similarly in the case of object set S as shown the map f can be composed by map g and the effect of mapping the elements 1,2,3,4 by the composite map h is same as first mapping the elements by f then followed by mapping by g. We can verify this visually by using four different colours to track the elements as shown below.


We just intuitively demonstrated the composition axiom of a category. An arrow with a codomain object A can always be composed with another arrow having object A as its domain. Note that in the notation order is in the reverse way. That if f is followed by g we write as "g composed with f".

Rotation by 90 degrees followed by no rotation is same as no rotation first followed by rotation by 90 degrees which is identical to simple rotation by 90 degrees. This is the simple axiom of the unit law in a category.

The last axiom is pertaining to the composition of three arrows. We demonstrate it using the example of propeller. Observe that rotation by 90 degrees followed by rotation by 90 degrees which is again followed by rotation by 90 degrees is identical to rotation by 180 degrees followed by 90 degrees which is identical to rotation by 90 degrees followed by rotation by 180 degrees. This is a single transformation which is nothing but rotation by 270 degrees. It does not matter how we club the pair of transformations as seen in the figure. 

That is all there is to the definition of a category often dreaded as abstract nonsense yet so concrete and visually demonstrated in very basic objects of geometry and algebra.  For those who are well versed with the concept of a group will recognize that these examples are special cases of categories which are also groups (there is a single object propeller or a set and all the arrows have inverses, as an example anti-clockwise rotation by 90 degrees is the inverse of clockwise rotation by 90 degrees). The first category is nothing but a also cyclic group of order 4 while the second example is a permutation group. I have chosen these examples to emphasise the fact that historically category theory was born in trying to generalise group (as invariance and relativity was hot topic of research in those days)  or the concept that the study of invariant transformations characterize the structure of an object. This is thoroughly covered in the book  "From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory" by Marquis, Jean-Pierre.

 If you loved following the first example then take a look at Nathan Carter's visual group theory for intuitive visual approach to group theory (which is special case of category theory). The visual approach here is motivated from that book. If you are more comfortable with the second example then refer the book "Conceptual Mathematics: A First Introduction to Categories" by Lawvere a very well-respected category theorist. 

All these axioms are summarized in the slide attached below:

In the next post we shall see several examples of categories pervading throughout mathematics and its applied fields including physics and engineering.

Comments

Post a Comment

Popular posts from this blog

A synthesis of Savitri and Theosophy - Painting No 15

 Today we continue to contemplate on the remaining lines from Page 5 of the Symbol Dawn of Savitri.  "Here too the vision and prophetic gleam Lit into miracles common meaningless shapes; Then the divine afflatus, spent, withdrew, Unwanted, fading from the mortal’s range. A sacred yearning lingered in its trace, The worship of a Presence and a Power Too perfect to be held by death-bound hearts, The prescience of a marvellous birth to come." 'Here' stands for our ordinary human world where the vision and prophetic brief light of Goddess lit the ordinary shapes miraculously into divine meaning for few moments. But then the divine creative impulse or inspiration was spent and feeling unwanted withdrew and faded from the range of mortal men. Once gone it left behind a sacred yearning in the hearts of those later realized what had happened. The presence and Power of Divine Goddess was too perfect to be worshipped to be held steady by death-bound hearts of ordinary mortals. ...
Post a Comment
Read more

Seeds of synthesis

Some of the seeds of synthesis I have discovered (experiments are ongoing to give fair consideration and enlighten ourselves) so far between sciences, religions, philosophies are listed below for the lovers of truth and wisdom - Synthesis of mathematics - Category theory (Grothendieck, Saunders Maclane) Synthesis of religions - Theosophy (Helena Blavatsky) (A mathematical expression of the law of Karma or cause and effect is in my thesis) Synthesis of philosophies and Human Knowledge itself - A treatise on seven rays (24 Books of Djwal Khul and Alice Bailey) Synthesis of pyschology - Psychosynthesis (Roberto Assagioli), Humanistic astrology and soul-centred psychology (Dane Rudhyar, Alan Oken) Synthesis of ancient systems of Yoga - Synthesis of Yoga (Sri Aurobindo),Auroville (Experiment of synthesising city), Agni Yoga (Nicholas and Helena Roerich) Synthesis of agriculture - Permaculture (Masanobu Fukuoka) Synthesis of signal representation - Functorial Signal Representation Synthesi...
Post a Comment
Read more

The Yoga of Synthesis Diary Leaves 4

 Album The Yoga of Synthesis  Dated 22 January 2025 The Yoga Sutras of Patanjali give us four stages of meditation and when applied on symbols we find: 1. First, as the form is pondered upon, the realisation begins to dawn that it is but a symbol of an inner reality. 2. Second, there is a recognition of the quality or nature of the form—its subjective energy, the quality of the force that seems to flow through it, the emotion that the symbol arouses. 3. Third, as we concentrate on considering the quality, we arrive next at the purpose, the motive, and the idea that the symbol has held concealed. 4. Fourth, in the final stage of identification, one becomes at one with the symbol; one shares its quality; one participates in its purpose, and through these stages one arrives at a unity with the creator of the form. When applied to the four symbols (of Helena Blavatsky, Sri Aurobindo and The Mother, Alice Bailey, and the category-theoretic model of Cause-Meaning/Quality-Effect), we...
Post a Comment
Read more