| context | $A:\mathrm{Ob}_{\bf C}$ |
| context | $f...$ |
| definiendum | $f^*$ |
| definition | $...$ |
todo: https://proofwiki.org/wiki/Definition:Pullback_Functor
Also called base change functor (particularly in geometry) or inverse image functor (particularly in ${\bf{Set}}$).
Wikipedia: Pullback functor