Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories newpage noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeDec 16th 2010

    brushed up ringed topos a little, added the version over any Lawvere theory and linked it to “related concepts” (for use at Tannaka duality for geometric stacks).

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeDec 16th 2010

    touched also ringed space, locally ringed space, ringed site, structured (infinity,1)-topos and made sure they all link to each other

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMar 1st 2011

    I have made the definition of morphisms of ringed toposes explicit at ringed topos.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJul 5th 2011

    I was going to type something on limits of ringed toposes, but maybe give me a sanity check:

    the limit of a diagram of ringed toposes ( not locally ringed, mind you) should be formed by

    1. forming the limit of the underlying toposes, lim i(𝒳 i,𝒪 𝒳 i)p i(𝒳 i,𝒪 𝒳 i){\lim_\leftarrow}_i (\mathcal{X}_i, \mathcal{O}_{\mathcal{X}_i}) \stackrel{p_i}{\to} (\mathcal{X}_i, \mathcal{O}_{\mathcal{X}_i})

    2. then forming the colimit inside the limiting topos of the inverse images of all the internal ring objects lim p i *𝒪 𝒳 ilim i(𝒳 i,𝒪 𝒳 i){\lim_\to} p_i^* \mathcal{O}_{\mathcal{X}_i} \in {\lim_\leftarrow}_i (\mathcal{X}_i, \mathcal{O}_{\mathcal{X}_i}).

    Because with this the universal property is immediately checked. Unless I am mixed up.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJul 5th 2011

    I have tried to spell out details in a new subsection Properties – Limits and colimits.

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeJul 5th 2011

    That does seem to work. I wonder what the generality of that is.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJul 5th 2011

    That does seem to work.

    Thanks for checking.

    I wonder what the generality of that is.

    I was wondering, too. But for the moment I am content with this simple case.

    What I have found in the literature on this has been surprisingly disappointing. But I haven’t looked at Grothendieck’s original notes yet.

    • CommentRowNumber8.
    • CommentAuthorzskoda
    • CommentTimeJul 5th 2011

    In addition to the related material in SGA4, let me mention that the relative schemes over ringed toposes were developed by M. Hakim in her thesis under Grothendieck’s guidance. That thesis also has a tiny bit of 2-categorical descent, I think.

    • Monique Hakim, Topos annelés et schémas relatifs, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 64. Springer 1972. vi+160 pp.

    By the way, interesting historical reminiscences from 2007 (Drinfel’d, Bloch, Illusie) about Grothendieck and his work with students, which I have not seen before: pdf.

    I have added this to Alexander Grothendieck.

    • CommentRowNumber9.
    • CommentAuthoradhalanay
    • CommentTimeSep 4th 2018

    Corrected a small misprint in references.

    diff, v17, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)