Logical functor

In the foundations of mathematics, a logical functor is a functor between toposes which preserves the topos structure.

Properties

Logical functors preserve all of the following:

Functor types

Additive Adjoint Derived Diagonal Enriched Essentially surjective Exact Faithful Forgetful Full Logical Representable Smooth