Timeline for Characterizing local homeomorphisms into an exponent
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 15, 2014 at 6:08 | comment | added | David Carchedi | OK, fair enough. I follow the category-theorist convention of only writing $X^Y$ for a genuine internal-hom, that is, something satisfying the correct universal property, but at any rate, there is no risk of confusion in my question, since I restrict to compactly generated spaces, which are Cartesian-closed. | |
| Dec 13, 2014 at 13:15 | comment | added | Dominic van der Zypen | Well, the function space $X^Y$ can be defined for any topological spaces, inheriting the topology from the product topology.. | |
| Dec 12, 2014 at 17:53 | comment | added | David Carchedi | I need $Y^X$ to exist, so I was restricting to a Cartesian closed subcategory. in $Top$, this is only possible if $X$ is core-compact. | |
| Dec 12, 2014 at 9:49 | comment | added | Dominic van der Zypen | Why do you think that it makes a difference if you restrict yourself to compactly generated spaces? | |
| Oct 6, 2010 at 9:52 | history | asked | David Carchedi | CC BY-SA 2.5 |