Triangles as squares with an identity edge

Proposition 1.4.4 (Triangles as squares with an identity edge). For every \(\infty \)-category \(C\), the following two commutative squares are pullback squares:

Here the functors labeled ‘res’ are given by precomposition with the inclusions of the left and right columns into \([1] \times [1]\).