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

(0 2-category 2-category-theory abelian-categories accessible adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundle bundles calculus categories category category-theory chern-simons-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimit combinatorics complex complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology deformation-theory derived-geometry descent differential differential-cohomology differential-geometry dold fibration duality elliptic-cohomology enriched factorization-system fibration foundations functional-analysis functor galois-theory gauge-theory gebra general topology geoemtry geometric geometric-quantization geometry gravity group-theory higher higher-algebra higher-category-theory higher-geoemtry higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration-theory internal-categories k-theory kan lie lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure measure-theory meta modal-logic model model-category-theory monoidal monoidal-category monoidal-category-theory morphism motives motivic-cohomology n-groups newpage nonassociative noncommutative noncommutative-geometry number-theory operator operator-algebra order-theory 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 set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string-theory subobject supergeometry symplectic-geometry synthetic-differential-geometry tannaka terminology theory topology topos topos-theory tqft type-theory 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.
    • CommentAuthorMatanP
    • CommentTimeFeb 25th 2012
    Created a new entry on "special $\Delta$-spaces". Does anyone know of a better name?

    The entry is poorly edited since I'm not fluent with the iTex syntax.
    • CommentRowNumber2.
    • CommentAuthorTim_Porter
    • CommentTimeFeb 25th 2012

    Don’t worry about the appearance of the page. It looks good and there are those amongst us who spend ’idle’ moments looking through recent entries and, so as to learn new insights into things, clean up the editing, e.g. theorem environments etc. (When this is done to one of ’my’ pages I look back and say to myself.. that is how I should have done it! then next time, I most likely have forgotten! do the same thing and feel a bit silly afterwards.)

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 26th 2012

    It’s good practice to provide a link to the page in the Forum discussion, so people can go directly to it: special Delta-space. One related page we already have is Segal space, a notion which omits the contractibility of X 0X_0 but is otherwise the same.

    I’m not really fond of the "special" terminology (since it gives no indication of in what way the object is "special"), and "Δ\Delta-space" has the problem that some people now use "Δ\Delta-set" to mean a semi-simplicial set, i.e. a simplicial set without degeneracies. On the other hand, I don’t know of a good replacement.

    • CommentRowNumber4.
    • CommentAuthorjim_stasheff
    • CommentTimeFeb 26th 2012
    Oh no! Please don't use `semi-simplical' to mean without degeneracies.
    see the history below
    How about `facial'?

    cf. An elementary illustrated introduction to simplicial sets
    File Format: PDF/Adobe Acrobat - Quick View
    by G Friedman - 2008 - Cited by 5 - Related articles
    of less interest, “complete semi-simplicial” was abbreviated back to “semi-simplicial” and eventually to “simplicial,” leaving us with the simplicial sets of today.
    • CommentRowNumber5.
    • CommentAuthorTodd_Trimble
    • CommentTimeFeb 26th 2012

    It must be admitted that “semi-simplicial” in the sense of Mike’s #3 would be perfectly reasonable terminology, were it not for the naming history pointed out by Jim (which looks weird in retrospect – why would adding degeneracies make anything “semi”? more like removing them would do that). “Facial” is not such a bad substitute IMO.

    • CommentRowNumber6.
    • CommentAuthorMatanP
    • CommentTimeFeb 26th 2012

    Thanks Mike.

    Do you think it´s good to merge the two pages?

    I don’t think “special delta space” is a good name but I’m not sure how to call it. Special simplicial space is probably better but still has the problem you mentioned . Perhaps “Segal space with a contractible space of objects”? I would feel better with a shorter name. By the way, the nLab definition of a Segal space is different than the one of Rezk (a model for the homotopy theory of homotopy theory).

    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 26th 2012

    @Jim: While I have always felt along the lines that Todd said (e.g. “semigroup”, “semicategory” all mean lacking identities, so consistency demands that “semi-simplicial” mean lacking degeneracies), I used to feel sufficiently guilty about the ahistoricity not to use “semi-simplicial” in that way. But then I went back and read the original paper. Quoting some more context from the paper you cited:

    Originally ([5]), Delta sets were referred to as semi-simplicial complexes, and, once the degeneracy operations we are about to discuss were discovered, the term complete semi- simplicial complex (c.s.s. set, for short) was introduced. Over time, with Delta sets becoming of less interest, “complete semi-simplicial” was abbreviated back to “semi-simplicial”

    In other words, “semi-simplicial” originally referred to the objects without degeneracies, with the adjective “complete” added when degeneracies were present. So using “semi-simplicial” to mean “without degeneracies” is actually more historically faithful. (I believe the original purpose of the adjective “semi-” was to distinguish these objects from simplicial complexes, not to indicate anything about degeneracies.) Of course, there was also the interlude later on during which “semi-simplicial” meant what we now call “simplicial”, but given that it is never used that way today, I think there’s no reason to prevent ourselves from using it in the more logical way.

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 26th 2012

    @MatanP (is that your given name or your family name?): I don’t think the pages should be merged, as the two serve different purposes: special Δ\Delta-spaces are a model for \infty-monoids, while Segal spaces are a model for internal categories in \infty-groupoids. But they should link to each other. (The nLab definition of Segal space is equivalent to Rezk’s; use 2-out-of-3 and stuff.)

    What about something like “reduced Segal space”?

    • CommentRowNumber9.
    • CommentAuthorMatanP
    • CommentTimeFeb 27th 2012

    Mike: I like your name suggestion. I’ll edit the entry accordingly. My given name is Matan and my surname is Prezma.

    In some places I saw people use “restricted simplicial object” to mean without degeneracies (so I used it as well).

    • CommentRowNumber10.
    • CommentAuthorjim_stasheff
    • CommentTimeFeb 27th 2012
    @Mike Unfortunately two kinds of consistency - linguistic and historical. Just add a note to indicate the conflict as a warning to those who might read the earlier papers. Who amongst us are aware of `bicompact'?
    • CommentRowNumber11.
    • CommentAuthorMatanP
    • CommentTimeFeb 28th 2012

    ok. Changed the entry name to reduced Segal space with the obvious adaptations and linked it to Segal space.