be continuous). For this reason the category of topological spaces fails to be cartesian closed. However, the category of locally compact topological spaces is not cartesian closed either, since need not be locally compact for locally compact spaces and . A cartesian closed category of spaces is, for example, given by the full subcategory spanned by the compactly generated Hausdorff spaces. In functional programming languages, the morphism is often called , and the syntax is often written . The morphism here must not to be confused with the eval function in some programming languages, which evaluates quoted expressions. See also Closed monoidal category Notes References External links Interactive Web page which generates examples of exponential objects and other categorical constructions. Written by Jocelyn Paine. Objects (category theory)