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


Element of

Functor