That's an orthogonal but not wrong way of looking ...
# arrow
d
That's an orthogonal but not wrong way of looking at
local
, but yeah, it's essentially a contravariant functor