Understanding the Concept of Maps in Math: From Morphisms to Partial Functions

In the realm of category theory, the term 'map' is often interchangeably used with 'morphism' or 'arrow.' A map can be seen as a structure-respecting function, which implies more structure than a standard function. This usage can be applied to both general functions and functions with specific properties.

The terminology surrounding maps, such as domain, codomain, injective, and continuous, is also applicable to functions, conveying the same meaning. In the context of dynamical systems, a map refers to an evolution function that creates discrete dynamical systems.

A partial map, on the other hand, is a partial function that includes homomorphisms in abstract algebra, isometries in geometry, operators in analysis, and representations in group theory. These maps are essential components of various mathematical theories.

In some branches of mathematics, the term 'map' specifically denotes a function with certain properties. For instance, in topology, a 'map' refers to a continuous function, while in linear algebra, it represents a linear transformation. The concept of a map is versatile and can be applied to various contexts within mathematics.

Notably, some authors, such as Serge Lang, use the term 'function' exclusively to describe maps with codomains consisting of numbers (sets of real or complex numbers). However, in many cases, the term 'map' is used generically to refer to a function, often highlighting a specific property relevant to that particular branch of mathematics.

In conclusion, the concept of a map is multifaceted and encompasses various meanings depending on the context. From morphisms to partial functions, maps play a crucial role in shaping mathematical theories and understanding.

Range symbol math