  This paper introduces the notion of prestacks of Tate type and studies
natural geometric conditions on them. We also develop a formalism of
Tate-coherent sheaves and define a dualizing gerbe for Tate schemes locally
almost of finite type.
