Could not include topos theory - contents
A geometric transformation is a morphism between geometric morphisms between toposes: a 2-morphism in the 2-category Topos.
two geometric morphisms, a geometric transformation
is a natural transformation between the inverse image functors
By mate-calculus, these are in bijection to natural transformations of the direct image functors
Section A4.1 of
Revised on February 24, 2014 11:41:04
by Auke Booij?