Segal axiom

Proposition 1.4.5 (Segal Axiom). For an \(\infty \)-category \(C\), the restriction functor \[ (d_0^*,d_2^*)\colon \Fun ([2],C) \to \Fun ([1],C) \times _{\ev _0,C,\ev _1} \Fun ([1],C), \qquad \sigma \mapsto (g,f) \] is an equivalence. □