1. Definition of map object
In a category with products (including 1) any map
whose domain is a product may be considered as an X-parameterized family of maps T Y. Namely, any point x: 1 X gives rise via f to the map (where is the constant map ), which is often denoted for short by fx. Thus fx(t) = f(t, x) for ...