Spahn axiomatic cohesion (Rev #1)

II. Cohesion versus non-cohesion; quality types

He interprets geometric morphisms as “ntrasts’‘ between cohesion and non-cohesion and between variation and non-variation. There is also a distinction between cohesion and variation.

Definition

A full and faithful functor f *:SFf^*: S\to F between extensive categories? which is a frobenius functor? in that it is reflective and coreflective by the same functor by definition exhibits FF as a quality type over SS.

Revision on January 7, 2013 at 02:36:43 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.