Spahn locally representable structured (infinity,1)-topos (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

Structured (,1)(\infty,1)-topos (X,O G,X)(X,O_{G,X}) where

(1) XX is an (,1)(\infty,1)-topos

(2) G=(G̲,Ad G)G=(\underline G, Ad_G) is a geometry, i.e. G̲\underline G is an essentially small (,1)(\infty,1)-category with finite limits, which is idempotent complete, Ad GAd_G is an admissible structure in G̲\underline G.

(3) O G,X:GXO_{G,X}:G\to X is a GG-structure (aka “structure sheaf”) on XX, i.e. a functor which is

(3a) left exact

(3b) induces a jointly epimorphic family in the image of O G,XO_{G,X} (i.e. every covering sieve consisting of admissible morphisms on an object of XX induces an effective epimorphism out of the product of the images…)

Revision on December 15, 2012 at 03:00:36 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.