Remark 23.6.2. Under the complete Segal presentation of \(\infty \)-categories from Chapter 24, the twisted arrow category has the edgewise-subdivision model \[ [n]\longmapsto \Hom _{\Cat _{\infty }}([n]\catop \star [n],C). \] The inclusions of the two copies of \([n]\) induce the source and target functors, and the fiber over \((x,y)\) is \(\Hom _C(x,y)\). This gives a model-specific description of the left fibration in the preceding definition.
Generated from the authoritative LaTeX source.