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 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 .
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.