nLab pointed mapping space

Redirected from "pointed mapping spaces".
Contents

Contents

Idea

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

Definition

Definition

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.

Properties

Proposition

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)

Remark

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

Remark

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.