Twisted diagonal (category theory)

Template:Short description Template:Other usesTemplate:One source In category theory in mathematics, the twisted diagonal of a category (also called the twisted arrow category), which makes the morphisms of a category into the objects of a new category, whose morphisms are then pairs of morphisms connecting domain and codomain with the twist coming from them being in opposite directions. It can be constructed as the category of elements of the Hom functor, which makes the twist come from the fact that it is contravariant in the first entry and covariant in the second entry. It can be generalized to the twisted diagonal of a simplicial set to which it corresponds under the nerve construction.

Definition

For a category $𝒞$, its twisted diagonal $\mathrm{Tw}(𝒞)$ is a category, whose objects are its arrows:

$\mathrm{Ob}(\mathrm{Tw}(𝒞))=\mathrm{Ar}(𝒞)$

and for which the morphisms between two such objects $f:A\to B$ and $g:X\to Y$ are the pairs $p:X\to A$ and $q:B\to Y$ of morphisms in $𝒞$ so that $g=q\circ f\circ p$, then we get a commutative diagram

If $[1]$ denotes the category $0\to 1$ with two objects and one non-trivial morphism (with the notation taken from the simplex category), then the twisted arrow category $\mathrm{Tw}(𝒞)$ is not the functor category $𝐅𝐮𝐧([1],𝒞)$ since the morphisms between the domains is reversed. An alternative definition is as the category of elements of the Hom functor:

$\mathrm{Tw}(𝒞):=\mathrm{El}({\mathrm{Hom}}_{𝒞}).$

There is a canonical functor:

$\mathrm{Tw}(𝒞)\to {𝒞}^{\mathrm{o}\mathrm{p}}\times 𝒞,(f:X\to Y)\mapsto (X,Y).$

Properties

• Under the nerve, the twisted diagonal of categories corresponds to the twisted diagonal of simplicial sets. For a category $𝒞$, one has:

  $N\mathrm{Tw}(𝒞)=\mathrm{Tw}(N𝒞).$

• Slice and coslice categories arise through pullbacks from the twisted arrow category. For a category $𝒞$, one has:

  $X\mathrm{\setminus }𝒞\cong \{X\}{\times }_{{𝒞}^{\mathrm{o}\mathrm{p}}}\mathrm{Tw}(𝒞),$

  $𝒞/X\cong \mathrm{Tw}(𝒞){\times }_{𝒞}\{X\}.$

References

• Template:Cite journal

External links

• Twisted Arrows and Cospans on Kerodon
• twisted arrow category at the nLab