7.1.2 Right Bilinear Morphisms of Pointed Sets

Let $\webleft (X,x_{0}\webright )$, $\webleft (Y,y_{0}\webright )$, and $\webleft (Z,z_{0}\webright )$ be pointed sets.

Definition 7.1.2.1.1 ▶ Right Bilinear Morphisms of pointed sets

A right bilinear morphism of pointed sets from $\webleft (X\times Y,\webleft (x_{0},y_{0}\webright )\webright )$ to $\webleft (Z,z_{0}\webright )$ is a map of sets

\[ f \colon X\times Y \to Z \]

satisfying the following condition:1,2

  • (★)
    • Right Unital Bilinearity. The diagram
    commutes, i.e. for each $x\in X$, we have
    \[ f\webleft (x,y_{0}\webright ) = z_{0}. \]

  1. 1Slogan: The map $f$ is right bilinear if it preserves basepoints in its second argument.
  2. 2Succinctly, $f$ is bilinear if we have
    \[ f\webleft (x,y_{0}\webright ) = z_{0} \]
    for each $x\in X$.

Definition 7.1.2.1.2 ▶ The Set of Right Bilinear Morphisms of Pointed Sets

The set of right bilinear morphisms of pointed sets from $\webleft (X\times Y,\webleft (x_{0},y_{0}\webright )\webright )$ to $\webleft (Z,z_{0}\webright )$ is the set $\smash {\operatorname {\mathrm{Hom}}^{\otimes ,\mathrm{R}}_{\mathsf{Sets}_{*}}\webleft (X\times Y,Z\webright )}$ defined by

\[ \operatorname {\mathrm{Hom}}^{\otimes ,\mathrm{R}}_{\mathsf{Sets}_{*}}\webleft (X\times Y,Z\webright ) \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\left\{ f\in \operatorname {\mathrm{Hom}}_{\mathsf{Sets}}\webleft (X\times Y,Z\webright )\ \middle |\ \text{$f$ is right bilinear}\right\} . \]

Up
Next

View Definition 7.1.2.1.1 as PDF
Statistics Cite

Noticed something off, or have any comments? Feel free to reach out!

You can also use the contact form below: