Showing changes from revision #2 to #3:
Added | Removed | Changed
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 overquality type over .