Skip to main content

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

In this post, the goal is to intuitively understand the definition of a category through two very simple practical and concrete examples. 

 1.The first example is a four blade propeller, whose blades we shall label as 1,2,3 and 4. 
 2. Another example is a four element set A = {1,2,3,4}. 

Let us form two categories containing these objects. The first example of a propeller will give rise to a category we shall call PROP (the label reflects that its object is a propeller). The second example of a finite set will lead to a second category which we will call SET. Notation wise the categories are denoted using capital bold letters. 


The above figure is a visual depiction of the first axiom of a category. The first axiom says that every category consists of a collection of objects. In both categories that we have formed there is just a single object. But in general a category can have finitely or even infinitely many (collection of) objects. In fact mathematicians have also discovered categories with uncountable infinite collection of objects which they called a class. But we will not go into all such subtleties here. 

Now rotate the propeller clockwise by 90 degrees. This rotation of the propeller visually transforms the propeller shape again into same shape. Had we not labelled the blades we could not have distinguished that the propeller was rotated. This denotes an underlying structure on the propeller called symmetry. We shall label this rotation as 'r_90' and it is mathematically termed as an arrow (or a map or a morphism) of a category. In the figure below I demonstrate visually one sample arrow r_90 in the category PROP. You must note carefully that for defining an arrow of a category we require two objects which could be either same or different. The start object is called the domain and the end object is called the codomain. 

Now lets see another example of an arrow in the same category. Here we are rotating the propeller by 180 degrees. Such a rotation again preserves the symmetry of the object. 


The collection of arrows in the category PROP are all symmetry preserving transformations of the propeller. Can you count how many such rotations of the propeller are there which would preserve the its symmetry ? If we ponder, we have in all 8 rotations: 4 clockwise by 90, 180, 270 and 360 (or 0) degrees. Then we have 4 anti-clockwise rotations by 90, 180, 270 and 360 degrees. These rotations take the object in various states from which the object continues to look the same. Later you will realize that there are only 4 rotations corresponding to 4 unique states of the propeller object. 

Note that objects in a category carry some (mathematical) structure while arrows preserve the structure. The structure of the object in PROP is (visual) symmetry and certain precise rotations preserve this symmetry. Now let us try to define the arrows of second category SET. Here the object is a finite set. We can consider two structures on this object. We can consider a particular structure of being a finite set with exactly four elements. Else we could consider a general structure of just being a finite set (ignoring or forgetting that it has four elements).

If we consider the first structure then arrows will be the permutations of the set. This is because we have to preserve the structure of having finite elements and in particular exactly four elements. I demonstrate one such arrow f in the following figure.


Similarly if we forget the structure of having exactly four elements and only consider the structure that the object is a finite set then can you guess what could be the arrows ? In addition to all the permutation arrows we also have general mathematical functions as arrows as shown below. These arrows need not preserve the count of elements while mapping the elements. In other words the arrows can send multiple elements from the domain object to a single element in the codomain object.



We will only focus on permutation arrows (which can be inverted or reversed to go back to original state of object) and drop the general arrows as shown above for simplicity where we are preserving the count of elements in the set. 

Indeed we have visually depicted the second axiom of a category. It states that between any two objects of a category there is a collection of morphisms. Every map or arrow or morphism starts from an object called domain (of the arrow) and ends on an object called codomain (of the arrow). All objects with a given structure form the collection of objects of a category while the arrows are a collection which preserve that structure. 

In this post we learned two axioms (objects and arrows) that partly define a category. In the next post, we will learn few more axioms that will completely define a category. 

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