Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
For some reason, we never had map redirect to function, but now we do. Same with mapping.
This may or may not be the best behaviour. We might actually want a page on how people distinguish these words, such as in topology (‘map’ = continuous map but ‘function’ = function, maybe).
“Map” for me is often synonymous with “morphism”. There is also a technical usage when studying cartesian bicategories and allegories: “map” means a left adjoint 1-cell. In any case, I don’t think it’s a good idea to have it redirect to function.
There is also the sense of map used in combinatorics. Topological map can mean an embedded graph on a surface. This is relevant for the Children’s sketches stuff which I am always saying that I am going to add to ….! I don’t think we need a disambiguation page yet but I agree with Todd that a redirect may not be wise.
I made map a stand-alone entry.
More could be said at map, but it looks good for now.
1 to 5 of 5