nLab pointed mapping space




The incarnation of internal homs/mapping spaces in the context of pointed objects.



Let 𝒞\mathcal{C} be a closed monoidal category with finite limits.

For X,Y∈𝒞 *X, Y \in \mathcal{C}^{\ast} two pointed objects in 𝒞\mathcal{C}, their pointed mapping space

[X,Y] *∈𝒞 */ [X,Y]_* \in \mathcal{C}^{\ast/}

(the “object of basepoint-preserving maps”), is the pullback

[X,Y] * ⟶ * ↓ (pb) ↓ [X,Y] ⟶ [1,Y] \array{ [X,Y]_* & \overset{}{\longrightarrow} & \ast \\ \downarrow &(pb)& \downarrow \\ [X,Y] & \underset{}{\longrightarrow} & [1,Y] }

where the morphism [X,Y]→[1,Y][X,Y]\to [1,Y] is induced from the point *→X\ast\to X, and the morphism *→[*,Y]\ast\to [\ast,Y] is the adjunct to *⊗*→*→Y\ast \otimes \ast \to \ast \to Y.

Regard [X,Y] *[X,Y]_* as a pointed object with basepoint induced by the map *→[X,Y]\ast\to [X,Y] whose adjunct is *⊗X→*→Y\ast \otimes X \to \ast \to Y.



Let 𝒞\mathcal{C} be a closed monoidal category with finite limits and with finite colimits.

For every pointed object X∈𝒞 *X \in \mathcal{C}^{\ast} the operation of forming the pointed mapping space out of XX, and the operation of forming the smash product with XX, form a pair of adjoint functors

(X∧(−)⊣[X,−] *):𝒞 */↔𝒞 */. ( X \wedge (-) \;\dashv\; [X,-]_\ast ) \;\colon\; \mathcal{C}^{\ast/} \leftrightarrow \mathcal{C}^{\ast/} \,.

This makes 𝒞 */\mathcal{C}^{\ast/} itself a closed monoidal category, which is symmetric if 𝒞\mathcal{C} is. The tensor unit is I +I_+ for II the unit for the monoidal structure on 𝒞\mathcal{C}.

(Elmendorf-Mandell 07, lemma 4.20)


The case when 𝒞\mathcal{C} is cartesian, or at least semicartesian, is most common in the literature.


If 𝒞\mathcal{C} is monoidal but not closed, the same definition of the smash product makes 𝒞 */\mathcal{C}^{\ast/} monoidal as long as the tensor product of 𝒞\mathcal{C} preserves finite colimits in each variable separately.

If not, the smash product can fail to be associative. For instance, the smash product on the ordinary category Top (without any niceness conditions imposed) is not associative.

Last revised on January 28, 2020 at 15:58:47. See the history of this page for a list of all contributions to it.