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 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 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 internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure 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).

nLab > Latest Changes: higher Segal space

Bottom of Page

1 to 13 of 13

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJan 12th 2012

    I am starting higher Segal space (while sitting in a talk by Mikhail Kapranov about them…)

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeJan 12th 2012

    There is a similar “recursive” idea in Kontsevich’s definition of (∞,n)(\infty,n)-categories which he used at the end of 1990s. Unfortunately, it has never been published. I heard one exposition of it, but did not keep much notes.

    • CommentRowNumber3.
    • CommentAuthorDavid_Corfield
    • CommentTimeDec 17th 2012

    Added the new paper - Higher Segal spaces I.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeDec 18th 2012
    • (edited Dec 18th 2012)

    Eventually we need to add some warning. Apparently the Dycker-Kapranov-style Segal higher spaces are equivalent to (∞,1)(\infty,1)-operads, certainly not to (∞,2)(\infty,2)-categories or similar.

    [edit: I have added a warning to the entry.]

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeDec 18th 2012

    This seems to provide a bridge between them and Lurie:

    In analogy to the situation for (∞,1)(\infty, 1)-categories, there are various models for the notion of an (∞,2)(\infty, 2)-category. To describe the bicategorical structures appearing in this work, we will use Segal fibrations. In fact, we will also use the dual notion of a coSegal fibration. These and other models for (∞,2)(\infty, 2)-categories, as well as their relations, are studied in detail in the comprehensive treatment [Lur09b]. (p. 163)

    In 9.3 they associate an (∞,2)(\infty, 2)-category to a 2-Segal space.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeDec 18th 2012
    • (edited Dec 18th 2012)

    Thanks.

    Now I see that the statement that DK 2-Segal spaces are ∞\infty-operads is essentially in the article, in 3.6.

    (We were supposed to discuss the DK-article in our seminar this semester, but somehow we didn’t get around to. Or not yet maybe.)

    • CommentRowNumber7.
    • CommentAuthorTim Campion
    • CommentTimeSep 13th 2018

    The nlab article higher Segal Space is very unclear – there are two completely different, unrelated types of objects that are sometimes referred to as “higher Segal spaces”. One is n-fold Segal Space, a model of (∞,n)(\infty,n)-categories. The other is the Dyckerhoff-Kapranov notion of a dd-Segal space, which models something like an (∞,1)(\infty,1)-category, but without uniqueness of composites (for d≥2d\geq 2), and higher associativity only in dimension dd and above (higher associativity conditions are governed by dd-dimensional polyhedra, related to dd-dimensional field theories).

    The article as it stands refers to both notions. The “Idea” section refers to nn-fold Segal spaces.

    But we already have a separate page for n-fold Segal spaces. So I’m pretty sure the intention was that this page refer to the Dyckrhoof-Kapranov notion, and not the nn-fold Segal space notion. So I think the article needs a major cleanup.

    Does anybody object to making higher Segal spaces discuss only the Dyckerhoff-Kapranov notion (except for adding some discussion of the difference)?

    • CommentRowNumber8.
    • CommentAuthorTim Campion
    • CommentTimeSep 13th 2018

    Removed misleading references to nn-fold Segal spaces and added a bit of material.

    diff, v14, current

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeSep 13th 2018

    Please feel invited to work on the entry and improve it, as you see the need.

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeSep 22nd 2023
    • Tashi Walde, On the theory of higher Segal spaces, thesis, Brexen 2020 pdf

    diff, v20, current

    • CommentRowNumber11.
    • CommentAuthorzskoda
    • CommentTimeSep 22nd 2023
    • Matthew B Young, Relative 2-Segal spaces, Algebraic & Geometric Topology 18 (2018) 975–1039 doi

    We introduce a relative version of the 2–Segal simplicial spaces defined by Dyckerhoff and Kapranov, and Gálvez-Carrillo, Kock and Tonks. Examples of relative 2–Segal spaces include the categorified unoriented cyclic nerve, real pseudoholomorphic polygons in almost complex manifolds and the ℛ •\mathcal{R}_\bullet-construction from Grothendieck–Witt theory. We show that a relative 2–Segal space defines a categorical representation of the Hall algebra associated to the base 2–Segal space. In this way, after decategorification we recover a number of known constructions of Hall algebra representations. We also describe some higher categorical interpretations of relative 2–Segal spaces.

    diff, v20, current

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeSep 22nd 2023

    we have an entry for Matthew B. Young

    diff, v21, current

    • CommentRowNumber13.
    • CommentAuthorperezl.alonso
    • CommentTimeJul 22nd 2024

    pointer

    • Jonte Gödicke. An ∞\infty-Category of 2-Segal Spaces (2024). (arXiv:2407.13357).

    diff, v22, current

1 to 13 of 13

  1.