3
$\begingroup$

Notations:

  1. $\mathbf{T}$ is the category of weak Hausdorf $k$-spaces.
  2. $\mathbf{K}$ is the category of $k$-spaces.

Fact: The inclusion functor $\mathbf{T} \subset \mathbf{K}$ is a right adjoint. It does not preserve colimits in general. However, it preserves pushouts of closed inclusions and transfinite compositions of closed inclusions (in fact, the closedness hypothesis can be removed for transfinite compositions).

Observation: The common point between the two colimits preserved by the inclusion functor $\mathbf{T} \subset \mathbf{K}$ is that it exists a degree function (raise the degree where the closed inclusions are) so that the base small category is a Reedy category which has fibrant constants (which implies that in both case, the colimit functor is a left Quillen functor).

Does this situation have a generalization ?

The most naive generalization I can think of is: for any small diagram $D:I\to \mathbf{T}$ such that $I$ is a Reedy category which has fibrant constants, if for all $f\in \vec{I}$ (the direct subcategory), $D(f)$ is a closed inclusion, then the colimits of $D$ calculated in $\mathbf{T}$ and in $\mathbf{K}$ are equal.

$\endgroup$
2
  • $\begingroup$ A thought I haven't fully fleshed out -- the Strom model structure on $k$-spaces, and potentially its transfer to CGWH spaces, should be relevant. $\endgroup$
    – Tim Campion
    Apr 30, 2020 at 13:44
  • $\begingroup$ @TimCampion The cofibrations are the closed inclusions satisfying the LLP with respect to the map of the form $X^{[0,1]}\to X$ and a well-know argument due to Strøm himself proves that the closedness hypothesis is a consequence of the "LLPness" if there is a separation condition assumed on the spaces we work with. It's all I can say. $\endgroup$ Apr 30, 2020 at 18:01

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.