 A "logical functor" is a functor between toposes that preserves finite limits and power objects.Logical functors preserve the structures that toposes have.In particular, they preserve finite colimits, subobject classifiers, and exponential objects.