Skip to main content
edited tags
Link
David White
  • 30.3k
  • 9
  • 154
  • 250
added 8 characters in body
Source Link
Joseph Victor
  • 1.1k
  • 7
  • 16

Can you make the category whose objects are pairs of spaces $(X,A)$, and morphisms the obvious diagrams, into a model category? Of course I want this to be done in a meaningful way, that is, agreeing with the adjoint functors $X\to (X,\emptyset)$$X\mapsto (X,\emptyset)$ and $(X,A)\to X$$(X,A)\mapsto X$?

There might be some intuitive reason that it is wrong to expect this, but I don't see it yet.

Thanks!

Can you make the category whose objects are pairs of spaces $(X,A)$, and morphisms the obvious diagrams, into a model category? Of course I want this to be done in a meaningful way, that is, agreeing with the adjoint functors $X\to (X,\emptyset)$ and $(X,A)\to X$?

There might be some intuitive reason that it is wrong to expect this, but I don't see it yet.

Thanks!

Can you make the category whose objects are pairs of spaces $(X,A)$, and morphisms the obvious diagrams, into a model category? Of course I want this to be done in a meaningful way, that is, agreeing with the adjoint functors $X\mapsto (X,\emptyset)$ and $(X,A)\mapsto X$?

There might be some intuitive reason that it is wrong to expect this, but I don't see it yet.

Thanks!

Source Link
Joseph Victor
  • 1.1k
  • 7
  • 16

Can one make the category of pairs of topological spaces a model category?

Can you make the category whose objects are pairs of spaces $(X,A)$, and morphisms the obvious diagrams, into a model category? Of course I want this to be done in a meaningful way, that is, agreeing with the adjoint functors $X\to (X,\emptyset)$ and $(X,A)\to X$?

There might be some intuitive reason that it is wrong to expect this, but I don't see it yet.

Thanks!