Definition 21.4.4. If the condition in (1) is satisfied, we say that \(F\) admits a pointwise left Kan extension along \(\phi \), and if the condition in (2) is satisfied we say that \(F\) admits a pointwise right Kan extension along \(\phi \).
Generated from the authoritative LaTeX source.