map

In the original use of the term, a *map* or *mapping* is just a *function* (between sets). The term is often used for continuous functions between topological spaces and indeed also generally for any morphism in any category. Accordingly, for instance the term *mapping space* is often used synonymously for *internal hom*.

However, in the category theory literature one should be aware of a different usage; see bicategory of maps.

Last revised on October 10, 2017 at 17:10:48. See the history of this page for a list of all contributions to it.