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 C {\displaystyle {\mathcal {C}}} , its twisted diagonal Tw ( C ) {\displaystyle \operatorname {Tw} ({\mathcal {C}})} is a category, whose objects are its arrows:
Ob ( Tw ( C ) ) = Ar ( C ) {\displaystyle \operatorname {Ob} (\operatorname {Tw} ({\mathcal {C}}))=\operatorname {Ar} ({\mathcal {C}})}
and for which the morphisms between two such objects f : A → B {\displaystyle f\colon A\rightarrow B} and g : X → Y {\displaystyle g\colon X\rightarrow Y} are the pairs p : X → A {\displaystyle p\colon X\rightarrow A} and q : B → Y {\displaystyle q\colon B\rightarrow Y} of morphisms in C {\displaystyle {\mathcal {C}}} so that g = q ∘ f ∘ p {\displaystyle g=q\circ f\circ p} , then we get a commutative diagram
If [ 1 ] {\displaystyle [1]} denotes the category 0 → 1 {\displaystyle 0\rightarrow 1} with two objects and one non-trivial morphism (with the notation taken from the simplex category), then the twisted arrow category Tw ( C ) {\displaystyle \operatorname {Tw} ({\mathcal {C}})} is not the functor category F u n ( [ 1 ] , C ) {\displaystyle \mathbf {Fun} ([1],{\mathcal {C}})} since the morphisms between the domains is reversed. An alternative definition is as the category of elements of the Hom functor:
Tw ( C ) := El ( Hom C ) . {\displaystyle \operatorname {Tw} ({\mathcal {C}}):=\operatorname {El} (\operatorname {Hom} _{\mathcal {C}}).}
There is a canonical functor:
Tw ( C ) → C o p × C , ( f : X → Y ) ↦ ( X , Y ) . {\displaystyle \operatorname {Tw} ({\mathcal {C}})\rightarrow {\mathcal {C}}^{\mathrm {op} }\times {\mathcal {C}},(f\colon X\rightarrow Y)\mapsto (X,Y).}
Properties Under the nerve, the twisted diagonal of categories corresponds to the twisted diagonal of simplicial sets. For a category C {\displaystyle {\mathcal {C}}} , one has:
N Tw ( C ) = Tw ( N C ) . {\displaystyle N\operatorname {Tw} ({\mathcal {C}})=\operatorname {Tw} (N{\mathcal {C}}).}
Slice and coslice categories arise through pullbacks from the twisted arrow category. For a category C {\displaystyle {\mathcal {C}}} , one has:
X ∖ C ≅ { X } × C o p Tw ( C ) , {\displaystyle X\backslash {\mathcal {C}}\cong \{X\}\times _{{\mathcal {C}}^{\mathrm {op} }}\operatorname {Tw} ({\mathcal {C}}),}
C / X ≅ Tw ( C ) × C { X } . {\displaystyle {\mathcal {C}}/X\cong \operatorname {Tw} ({\mathcal {C}})\times _{\mathcal {C}}\{X\}.}
References
Weibel, C. (December 2001). "Homotopy ends and Thomason model categories". Selecta Mathematica. 7 (4): 533–564. arXiv:math/0106052. doi:10.1007/s00029-001-8098-3.
… excerpt ends here. Continue reading the full article.
