Processing math: 100%

Pullback functor

Functor

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

Reference

Wikipedia: Pullback functor


Element of

Functor