Notation 23.1.3. Given an object \(e \in E_x\), we may sometimes denote a cocartesian lift of \(f\colon x \to y\) by \(\phi \colon e \to f_!e\), and refer to \(f_!e\) as the cocartesian transport of \(e\) along \(f\). This is well-defined, since left adjoint objects are unique whenever they exist.
Generated from the authoritative LaTeX source.