All Questions

Filter by
Sorted by
Tagged with
15 votes
3 answers
1k views

Why it is convenient to be cartesian closed for a category of spaces?

In 1967 Steenrod wrote what later became a quite celebrated paper, A convenient category of topological spaces (Michigan Math. J. 14 (1967) 133–152). The paper conveys the work of many (among the most ...
Ivan Di Liberti's user avatar
7 votes
2 answers
255 views

The union of all coreflective Cartesian closed subcategories of $\mathbf{Top}$

Very often, in topology, one restricts to a coreflective Cartesian closed subcategory of $\mathbf{Top}$ in order to freely use exponential laws for mapping spaces, which imply things like "the ...
Jeremy Brazas's user avatar
9 votes
3 answers
1k views

When is the projective model structure cartesian? When is the internal hom invariant?

If M is a sufficiently nice model category and D is a small category then there are two natural model structures we can impose on the functor category $Fun(D,M)$ where the weak equivalences are the ...
Chris Schommer-Pries's user avatar