context | A:ObC |
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 Set).
Wikipedia: Pullback functor