English: It is called Theory of Categories.
Telugu: దీన్నే వర్గాల సిద్ధాంతం (theory of types) అంటారు.