He interprets geometric morphisms as “Contrasts” between cohesion and non-cohesion and between variation and non-variation. There is also a distinction between cohesion and variation.
A full and faithful functor between extensive categories which is a Frobenius functor in that it is reflective and coreflective by the same functor by definition exhibits as a quality type over .