Not signed in (Sign In)

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

Discussion Tag Cloud

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
    • CommentTimeJan 4th 2011
    • (edited Oct 9th 2012)

    I typed at local topos in the section Local over-toposes statement and poof that sufficient for a slice topos /X\mathcal{E}/X to be local is that XX is tiny .

    What are necessary conditions? Is this already necessary?

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeNov 18th 2011

    started adding a little bit of content at local topos in the section Elementary axiomatization

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeNov 18th 2011

    started writing out details of the proof of Awodey-Birkedal’s Lemma 2.3 here but am again being interrupted now.

    (Also I realize that I need to think about the next step…)

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeNov 18th 2011

    I changed the ##s to \sharps.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeNov 18th 2011

    I changed the #s to ♯s.

    All right, thanks.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeNov 18th 2011

    I realize that I am suffering from puzzlement over axiom 2 for local toposes: every object is the subquotient of a discrete one.

    In the example of sheaves on CartSp. What is the subquotient-of-a-discrete-object realization of a manifold?

    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeNov 18th 2011

    That example isn’t localic, is it? So you need the version of the axiom that involves a bound as well.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeNov 19th 2011

    Ah right, thanks.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeOct 9th 2012
    • (edited Oct 9th 2012)

    Following a request of a reader who found the entry local topos intransparent I have

    • highlighted more explicitly the simple definition of a local topos over Set itself, here

      (previously that was a bit hidden in the full generality of the definition of local geometric morphism);

    • added a bunch of basic details in the section Easy examples.

    • CommentRowNumber10.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 10th 2012
    • (edited Oct 10th 2012)

    Urs, I’m looking over what you just wrote about a (Grothendieck) topos CC being a local topos over SetSet. Isn’t it enough just to say Γ=C(1,)\Gamma = C(1, -) has a right adjoint, i.e., that its right adjoint codisccodisc being fully faithful will come for free? Thus, CC is a local topos iff the terminal object 11 is connected and projective.

    My reasoning is that codisccodisc is fully faithful iff discdisc is fully faithful, by an argument at adjoint triple. Now disc:SetCdisc: Set \to C takes a set SS to the SS-indexed coproduct S1S \cdot 1 of copies of 11 in CC. The functor discdisc is fully faithful iff the unit Shom(1,S1)S \to \hom(1, S \cdot 1) is an isomorphism. But since 11 is connected, hom(1,)\hom(1, -) preserves this SS-indexed coproduct. Thus the unit, being a composite

    SShom(1,1)hom(1,S1)S \cong S \cdot \hom(1, 1) \to \hom(1, S \cdot 1)

    of two isomorphisms, is an isomorphism.

    • CommentRowNumber11.
    • CommentAuthorMike Shulman
    • CommentTimeOct 10th 2012

    That also follows from the first of the four equivalent additional conditions on the right adjoint in the relative case, since every functor is SetSet-indexed.

    • CommentRowNumber12.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 10th 2012

    Thanks, Mike.

    Also, Urs asked (back in January 2011, above) if XX being tiny in a Grothendieck topos CC follows from C/XC/X being local. It does. For, C/XC/X being local means the terminal 1 X1_X is tiny in C/XC/X. Then, for any colimit colim iY icolim_i Y_i in CC, the functor hom(X,)\hom(X, -) preserves this colimit iff 1 X1_X preserves colim iX×Y iX×colim iY icolim_i X \times Y_i \cong X \times colim_i Y_i in C/XC/X, which it does.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeOct 10th 2012
    • (edited Oct 10th 2012)

    Hey Todd,

    so I am not sure what you want me to say. I thought I did spell out that Γ=Hom(*,)\Gamma = Hom(*,-) and that this has a right adjoint and that this is full and faithful because Disc is.

    Maybe you are saying that my argument looks lengthy? I wrote it intentionally in plenty of and supposedly elementary detail , because I was asked about the details by somebody who found the previous version of the entry too abstract.

    This is in the Examples-section. So we can indulge a bit in spelling out details there, I think.

    But if you say you’d rather spell out details differently, then please just add that, too.

    • CommentRowNumber14.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 10th 2012
    • (edited Oct 10th 2012)

    Urs, I was focusing on the precise point you directed us to in #9, where you said “here”. I did not look through the whole article.

    Definition. A sheaf topos 𝒯\mathcal{T} is a local topos if the global section geometric morphism 𝒯ΓLConstSet\mathcal{T} \stackrel{\overset{LConst}{\leftarrow}}{\underset{\Gamma}{\to}} Set has a further right adjoint functor (LConstΓCoDisc)(LConst \vdash \Gamma \vdash CoDisc)

    CoDisc:Set𝒯 CoDisc \colon Set \hookrightarrow \mathcal{T}

    which is furthermore a full and faithful functor.

    Since you said that you wrote that definition as a favor to someone who found the article intransparent, I thought we could go one step further for that person. Maybe he or she didn’t read through the whole article either?

    Edit: I’ve now looked through the article. Maybe I missed it, but the only place I saw mention of

    and that this is full and faithful because Disc is.

    was in the course of example 1. My point is that it holds more generally (not just in the presheaf example).

    I should also say that my commenting on this was not criticism – it was purely in the spirit of trying to say something that might be helpful for someone.

    • CommentRowNumber15.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 10th 2012

    Looking one more time, I see that you did say – in the sentence before the subsection on Local Topos that you pointed us to – that that condition was automatic. Sorry I didn’t see that earlier. I will now edit, again.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeOct 10th 2012

    Todd, thanks and no problem. I didn’t regard it as a criticism. And I do welcome criticism. I just meant to say that it wasn’t clear to me what kind of action from my side your comment was calling for, if any.

    Please, if you feel like it, edit the article. All I did was to drop there some lines which I expected somebody I was talking to would find useful. I am not making any claims that the entry needs to have just the structure that it has now.

    • CommentRowNumber17.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 10th 2012

    what kind of action from my side your comment was calling for, if any.

    No action was being called for. I was just running something past you. Anyway, I am done editing for the time being.

  1. Added to local topos an explicit description of the extra right adjoint in the case of a sheaf topos over a topological space containing a focal point.