Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

According to ESCARDÓ-LAWSON-SIMPSON paper 'Comparing cartesian closed categories of (core) compactly generated spaces' The following four propositions are true:

  • A topological space $X$ is exponentiable iff $X$ is core-compact.

  • The category of core-compact topological spaces is not cartesian closed, because even though when $X$ and $Y$ are core-compact, we can build the exponential object $Y^X$, but $Y^X$ will not necessarily be itself core-compact.

  • The category of Core-compactly generated spaces is cartesian closed.

  • The category of Core-compactly generated spaces contains the category of core-compact spaces.

It seems that there is a contradiction if the four propositions are all true. A sub-category of the category of topological spaces cannot be cartesian closed if it is not strictly included in the sub-category of core-compact spaces. What Am i getting wrong here ?

share|cite|improve this question
The way I read this is that an exponential $Y^X$ of two core compact spaces may fail to be core-compactly generated. –  Andrej Bauer Dec 5 '11 at 14:10
"Exponentiable" is relative to the ambient category, and a non-exponentiable object in a category $C$ may turn out to be exponentiable in some subcategory. –  Qiaochu Yuan Dec 5 '11 at 14:11

1 Answer 1

up vote 9 down vote accepted

Andrej and Qiaochu are right. Let me elaborate. If X and Y are core-compactly generated (ccg for short), then the exponential in the category of topological spaces need not exist (it exists iff X is core compact). But the exponential always exists in the category CCG. You have to take into account the facts that (1) the finite products change when you pass to a subcategory (there are fewer spaces to test the universal property), (2) consequently the exponentials change too. Thus CCG is cartesian closed without contradicting the fact that the exponential of two ccg spaces in CCG is not an exponential in the whole category of topological spaces.

share|cite|improve this answer
Thanks a lot to everyone ! –  Archimondain Dec 5 '11 at 23:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.