Showing changes from revision #1 to #2:
Added | Removed | Changed
He interprets geometric morphisms as “ntrasts’‘ “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?extensive categories which is a frobenius functor?Frobenius functor in that it is reflective and coreflective by the same functor by definition exhibits as a quality type over .