## Pullback functor

### Functor

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}}$).

#### Reference

Wikipedia: Pullback functor