Naturality in means that the adjunction correspondence is compatible with precomposition by any morphism . Specifically, taking a morphism , precomposing with , and then translating across the adjunction gives the same result as first translating to and then precomposing with .
Conditions: Fix an object .; The statement quantifies over all morphisms in .; The correspondence is between morphisms in and morphisms in .
Naturality in means that the adjunction correspondence is compatible with precomposition by any morphism . Specifically, taking a morphism , precomposing with , and then translating across the adjunction gives the same result as first translating to and then precomposing with .
Conditions: Fix an object .; The statement quantifies over all morphisms in .; The correspondence is between morphisms in and morphisms in .