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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics 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 string-theory 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
    • CommentTimeJun 23rd 2019

    I forget if I ever knew the following:

    What is there to the assumption that a given cohesive \infty-topos admits an \infty-site of definition all whose objects have (under Yoneda embedding) contractible shape?

    Is this automatic? Is it a weak extra assumption? A strong extra assumption?

    diff, v219, current

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeJun 23rd 2019

    Isn’t that essentially the “locally \infty-connected” condition at infinity-connected (infinity,1)-site?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJun 23rd 2019

    Yes, in that terminology I am asking: How strong is the condition that a cohesive \infty-topos admits any locally \infty-connected \infty-site?

  1. My intuition such as it is is that it is quite strong. For example in algebraic geometry, affines will typically not be contractible. Even in the pro-étale topos of Scholze and Bhatt I expect that the affine line is not contractible for instance.

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeJun 24th 2019

    Re #4: …and for that reason, those toposes are not, I believe, cohesive. (-:

    Re #3: C3.6.3 of the Elephant implies that any cohesive 1-topos has a locally 0-connected site, and by Prop. 1.3 of remarks on punctual local connectedness it can be taken to have finite products as well. I don’t have time to look up the proofs right now, but I would expect that they generalize at least partially to the \infty-case.

  2. Re #5: That sounds right!

    • CommentRowNumber7.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 7th 2020

    Since there’s a certain interest at the moment, I noted earlier in the article the possibility of a relative notion of cohesion, and gave an instance in Remark 2.2.

    diff, v220, current

    • CommentRowNumber8.
    • CommentAuthorRichard Williamson
    • CommentTimeApr 8th 2020
    • (edited Apr 8th 2020)

    Thanks for adding something, David. Just a quick note that it is not really correct to say that the base topos is sheaves on profinite sets, as your notation would suggest. I was going to correct it, but was not hesistant to do so, as the way I thought to do so might change things a bit from what you had in mind.

    • CommentRowNumber9.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 8th 2020

    Yeah, could be a fibred topos or similar, rather than a map of toposes.

    • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 8th 2020

    Re #8, I was just copying Urs from back here. What are you saying it should be?

    • CommentRowNumber11.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 8th 2020
    • (edited Apr 8th 2020)

    Another case of relative cohesion we have is over Sh (Sch )Sh_\infty\left(Sch_{\mathbb{Z}}\right) at differential algebraic K-theory. I’ll add that.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJan 2nd 2023

    just noticed/remembered that “cohesive homotopy theory” has been redirecting directly to cohesive (infinity,1)-topos, all along. In order to offer better user experience, I am removing the redirect and will given cohesive homotopy theory a small entry of its own, which points back to cohesive (infinity,1)-topos as well as to cohesive homotopy type theory.

    diff, v229, current

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeJul 31st 2023
    • (edited Jul 31st 2023)

    added pointer (here and elsewhere) to today’s

    diff, v230, current