# Definition

A bi-pointed object in a category $V$ with terminal object $\mathrm{pt}$ is a co-span from $\mathrm{pt}$ to itself, i.e. a diagram

$\begin{array}{ccc}& & S\\ & {}^{{\sigma }_{S}}↗& & {↖}^{{\tau }_{S}}\\ \mathrm{pt}& & & & \mathrm{pt}\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ && S \\ & {}^{\sigma_S}\nearrow && \nwarrow^{\tau_S} \\ pt &&&& pt } \,.

Similarly, a pointed object in a category with initial object $\varnothing$ and terminal object $\mathrm{pt}$ is a co-span from $\varnothing$ to $\mathrm{pt}$, and if $V$ has in addition binary coproducts then a bi-pointed object in $V$ is the same as a co-span from $\varnothing$ to $\mathrm{pt}\bigsqcup \mathrm{pt}$.

# Closed structure

From the bicategory structure on co-spans in $V$ bi-pointed objects in $V$ naturally inherit the structure of a monoidal category

$\mathrm{BiPointed}\left(V\right)={\mathrm{End}}_{\mathrm{CoSpan}\left(V\right)}\left(\mathrm{pt}\right)\phantom{\rule{thinmathspace}{0ex}}.$BiPointed(V) = End_{CoSpan(V)}(pt) \,.

Assume that the terminal object $\mathrm{pt}$ is the tensor unit in $V$.

Then moreover, following the construction of the $V$-internal hom of pointed objects and being a special case of that of co-spans in $V$, there is an internal hom-object ${}_{\mathrm{pt}}\left[X,Y{\right]}_{\mathrm{pt}}\in \mathrm{Obj}\left(V\right)$ of bipointed objects $X$ and $Y$ defined as the pullback

$\begin{array}{ccc}{}_{\mathrm{pt}}\left[X,Y{\right]}_{\mathrm{pt}}& \to & \mathrm{pt}\bigsqcup \mathrm{pt}\\ ↓& & {↓}^{{\sigma }_{Y}\bigsqcup {\tau }_{Y}}\\ \left[X,Y\right]& \stackrel{{\sigma }_{X}^{*}×{\tau }_{X}^{*}}{\to }& \left[\mathrm{pt}\bigsqcup \mathrm{pt},Y\right]\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ {}_{pt}[X,Y]_{pt} & \rightarrow & pt \sqcup pt\\ \downarrow && \downarrow^{\sigma_Y \sqcup \tau_Y} \\ [X,Y] & \stackrel{\sigma_X^* \times \tau_X^*} {\rightarrow} & [pt \sqcup pt,Y]} \,.

Here the map $\mathrm{pt}\bigsqcup \mathrm{pt}\stackrel{{\sigma }_{Y}\bigsqcup {\tau }_{Y}}{\to }\left[\mathrm{pt}\bigsqcup \mathrm{pt},Y\right]$ is adjunct to $pt\otimes \left(\mathrm{pt}\bigsqcup \mathrm{pt}\right)\to \mathrm{pt}\bigsqcup \mathrm{pt}\stackrel{{\sigma }_{Y}\bigsqcup {\tau }_{Y}}{\to }Y$.

This $V$-object ${}_{\mathrm{pt}}\left[X,Y{\right]}_{\mathrm{pt}}$ is itself naturally bi-pointed with the bi-point $\mathrm{pt}\bigsqcup \mathrm{pt}\to {}_{\mathrm{pt}}\left[X,Y{\right]}_{\mathrm{pt}}$ given by the morphism induced from the above pullback diagram by the commuting diagram

$\begin{array}{ccc}\mathrm{pt}\bigsqcup \mathrm{pt}& \stackrel{\mathrm{Id}}{\to }& \mathrm{pt}\bigsqcup \mathrm{pt}\\ {↓}^{{\sigma }_{X}\bigsqcup {\sigma }_{X}}& & {↓}^{{\sigma }_{Y}\bigsqcup {\tau }_{Y}}\\ \left[X,Y\right]& \stackrel{{\sigma }_{X}^{*}×{\sigma }_{Y}^{*}}{\to }& \left[\mathrm{pt}\bigsqcup \mathrm{pt},Y\right]\end{array}\phantom{\rule{thinmathspace}{0ex}},$\array{ pt \sqcup pt &\stackrel{Id}{\to}& pt \sqcup pt \\ \downarrow^{\sigma_X \sqcup \sigma_X} && \downarrow^{\sigma_Y \sqcup \tau_Y} \\ [X,Y] &\stackrel{\sigma_X^* \times \sigma_Y^*}{\to}& [pt \sqcup pt, Y] } \,,

where the morphism $\mathrm{pt}\bigsqcup \mathrm{pt}\stackrel{{\sigma }_{X}\bigsqcup {\sigma }_{X}}{\to }\left[X,Y\right]$ is adjunct to $X\otimes \left(\mathrm{pt}\bigsqcup \mathrm{pt}\right)\to \mathrm{pt}\otimes \left(\mathrm{pt}\bigsqcup \mathrm{pt}\right)\simeq \mathrm{pt}\bigsqcup \mathrm{pt}\stackrel{{\sigma }_{Y}\bigsqcup {\tau }_{Y}}{\to }Y$

Revised on July 4, 2009 23:09:52 by Toby Bartels (71.104.230.172)