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.
    • CommentAuthorzskoda
    • CommentTimeDec 6th 2019

    Another reference added.

    diff, v22, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeOct 2nd 2021
    • (edited Oct 2nd 2021)

    Fixed a small typo in the sequences of equvalences after “Using this…” (here), replacing “XX” by “Grpd /X\infty Grpd_{/X}”.

    (Of course one might declare to use the former as shorthand for the latter, but not at this point inside a proof.)

    diff, v23, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 2nd 2021

    I have added statement and proof (here) that for H\mathbf{H} cohesive and XHX \in \mathbf{H}, the shape of the slice H /X\mathbf{H}_{/X} is the cohesive shape of XX.

    (This seems to be the kind of statement we would/should have considered in the first wave of edits to this entry, but I don’t see or recall that we did.)

    diff, v24, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeOct 2nd 2021
    • (edited Oct 2nd 2021)

    after the old example that cohesive \infty-toposes have trivial shape, I have added a remark (here) on how this is a reflection on them being “gros”, and leading over to the new prop on shapes of slices of cohesive \infty-toposes.

    diff, v24, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeOct 3rd 2021

    I have worked more on the Definition section (here):

    • split up the previous Prop about equivalence of definitions into an actual numbered definition followed by a proposition that two Defs are equivalent

    • added a third definition: as image of terminal object under the pro-left adjoint to LConstLConst

    • added the argument how that is equivalent to the other definition.

    • added exact references to page and verse in the articles that have stated these definitions (this was at least unclear in the previous version).

    diff, v27, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeOct 3rd 2021

    The idea-section used to essentially just mention the idea of the shape of Sh (X)Sh_\infty(X) for a topological space XX, in relation to classical shape.

    I have added (here)

    • two sentences to before this, in order to indicate the idea more generally and mentioning the relation to étale homotopy type,

    • a sentence after this, mentioning the relation to cohesive shape for slices of cohesive toposes.

    diff, v28, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeOct 4th 2021
    • (edited Oct 4th 2021)

    I have merged the first two Examples-subsections (shape of locally \infty-connected and of “retracts”) into a single section, since both subsections were small while having considerable overlap.

    Also turned the first remark there (from times back, that the shape is given by the left adjoint when it exists) into a numbered Proposition with a proof, and added the remark that this is a special case of the previous proposition on étale homotopy type.

    diff, v31, current

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeOct 5th 2021

    I have re-worded (here) the section “Shape of a topological space” (previously it just claimed to point to more details on this case, but didn’t), adding a pointer to Marc’s argument that the notions indeed coicide for compact Hausdorff spaces.

    diff, v32, current