I would like to know more about geometric functors whose inverse images preserve universal quantifiers. I've been told Mikkelson has studied something like these in connection with compactification. Anyone know a reference? =========================================================================