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.
    • CommentAuthorTim_Porter
    • CommentTimeMay 20th 2011

    Jonas Frey has raised the question of the notation [n][n] in the entry for simplex category. I would go along with his choice of notation as it is the one I use myself. (I was surprised to see another convention being used.)

    • CommentRowNumber2.
    • CommentAuthorFinnLawler
    • CommentTimeMay 20th 2011

    The notation that starts from [1]=[-1] = \emptyset is explained at the end of that section. The other notation, the one that starts with [0][0], is used by Mac Lane in his description of the simplex category in CWM, and I think it makes more sense in the context of the augmented or algebraists’ simplex category. But if you think the passage in question should be rephrased to draw more attention to the topologists’ convention then I certainly won’t object, if you think the change is warranted.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeMay 20th 2011

    There is no question in the common usage nowdays, one distinguished [n][n] the linear order with nn arrows, n+1n+1 objects and by n\mathbf{n} the set with nn elements, or linear order with nn objects. We should follow common usage. Talking “topologist” or “algebraic” for some convention is not fair, as many algebraists do it differently from what such users like to call algebraists and so on. I see nothing topological about a convention and somebody’s social perception should not be part fo a terminology.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMay 20th 2011
    • (edited May 20th 2011)

    [comment removed, I posted accidentally to the wrong thread !]

    • CommentRowNumber5.
    • CommentAuthorFinnLawler
    • CommentTimeMay 20th 2011

    Regarding ’topologists” vs. ’algebraists”, that is Street’s terminology. I don’t think it’s meant in a taxonomic spirit.

    We should follow common usage.

    No, clarity is more important than conformity. I think the page is perfectly clear as it stands, and I don’t see how that would be improved by switching to two subtly different notations, especially since the different conventions are already explained there. But if anyone else wants to grub through the page changing [n][n]s to n\mathbf{n}s, then work away.

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeMay 20th 2011

    But sometimes nonconformity is the sworn enemy of clarity. Everyone working with simplicial sets writes X 0X_0 for the set of 0-simplices, which is the image of the object of Δ\Delta with zero (nonidentity) arrows. Therefore, if you want to read anything at all other than the nLab page in question, it is much more confusing to start out calling that object [1] rather than [0].

    • CommentRowNumber7.
    • CommentAuthorFinnLawler
    • CommentTimeMay 21st 2011

    Well, yes, but the problem is that there are two different categories that want to be called Δ\Delta. If you’re mostly talking about unaugmented simplicial sets then one convention suggests itself, but for people (like me) who don’t particularly care about simplicial sets but want to think about the universal property of the augmented category, as well as that of the 2-category it underlies, that convention doesn’t make sense. We need to define one category or the other first, and to me it doesn’t seem to matter which convention we choose as long as that choice, and the fact that there is a choice, are made clear. I think the page does that, but I won’t be offended if anyone disagrees, or if there’s a consensus that the other convention is better enough to justify a switch. (What does get up my nose, however, is preciousness about notation. I get quite enough of that from the computer scientists at work.)

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeMay 21st 2011

    I don’t know the meaning of “preciousness” in this context. If it means “caring about”, then I’m sorry – but notation sometimes does matter!

    Can we use non-conflicting notation for the two conventions, as we can for instance with gf=f;gg\circ f = f;g for the two choices about composition? For instance, we could denote by [1][1] and also by 2\langle 2 \rangle the object with one non-identity arrow, and similarly [0]=1[0] = \langle 1\rangle, [1]=0[-1] = \langle 0 \rangle, etc. That way anyone can use whatever numbering scheme they prefer, and the notation makes it clear what numbering scheme is in use.

    • CommentRowNumber9.
    • CommentAuthorTim_Porter
    • CommentTimeMay 21st 2011

    My worry is more of consistency. I have not really got the time, at the moment, to worry about the convention used. I prefer the [n] corresponding to n-arrows as that makes most sense in the nerve, and have a sneaking Ehresmannian liking for arrows as fundamental rather than objects! However I am not sure that we do not have inconsistencies in simplicial notation overall. (I have just had a reminder about an article I agreed to write of which only the ground work has been done as yet … oh dear! so will not be checking for inconsistencies in a consistent way for a bit.)

    @Mike I agree with your idea. [1] and 2\langle 2\rangle is a good convention. What worries me is that i am fairly sure that we have [n] having n-arrows in other pages than this.

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeMay 21st 2011

    if anyone else wants to grub through the page changing [n]s to n\mathbf{n}s, then work away.

    It is less usual, as Mike pointed out to do it in terms of n\mathbf{n} and confusing for standard users and for agreement with other pages.

    • CommentRowNumber11.
    • CommentAuthorTim_Porter
    • CommentTimeMay 21st 2011
    • (edited May 21st 2011)

    in 9 above, I should have added that [n] is the n-arrow case in most sources on homotopy theory.

    • CommentRowNumber12.
    • CommentAuthorFinnLawler
    • CommentTimeMay 21st 2011

    As I said, if others think it’s a good idea to change the convention used on the page, then I don’t have the slightest problem with that. I’m sorry if my earlier comments came across as bad-tempered, but I must confess that Jonas Frey’s original comment annoyed me somewhat, because it struck me as unhelpful and more of a dig than a contribution, even though that was probably the furthest thing from his mind.

    Mike wrote:

    I don’t know the meaning of “preciousness” in this context. If it means “caring about”, then I’m sorry – but notation sometimes does matter!

    By ’precious’ I mean caring too much about irrelevant details. I wasn’t accusing you (Mike) of that, rather it was the impression I got from the original comment. Perhaps that was unfair of me. Of course I agree that questions of notation can be important.

    Zoran wrote:

    if anyone else wants to grub through the page changing [n][n]s to n\mathbf{n}s, then work away.

    It is less usual, as Mike pointed out to do it in terms of n\mathbf{n} and confusing for standard users and for agreement with other pages.

    My point all along has been that people who choose either convention have good reasons for doing so, and that explaining both of them clearly and carefully is more important than not upsetting homotopy theorists. If we can agree on a not-too-confusing notation to distinguish between the two conventions (and Mike’s suggestion, or something like it, is fine by me), then let’s go ahead and change the page, but let’s also make sure that we don’t obscure an important part of the subject for the sake of conformity.

    • CommentRowNumber13.
    • CommentAuthorEric
    • CommentTimeMay 22nd 2011

    A general rule of thumb is to present both notations on the page with an explanation of the sources and who uses what under various situations. Then choose one for the page and make it clear what your choice was and explain how your choice relates to what some others may be accustomed to.

    • CommentRowNumber14.
    • CommentAuthorMike Shulman
    • CommentTimeMay 22nd 2011

    Is the specific notation “[n][n]” used in print for the total order with nn objects (as opposed to some other notation involving the number nn)?

    • CommentRowNumber15.
    • CommentAuthorJonasFrey
    • CommentTimeMay 22nd 2011
    • (edited May 22nd 2011)

    Finn, I’m sorry if my comment seemed annoying to you. I realize that I shouldn’t have used the exclamation mark, which made it seem quite harsh I guess. I just thought it is these little things that tend to be quite confusing when you are looking something up at different places, and I hoped this remark would be helpful to later readers of the page. It was not meant as a criticism, I’m sorry if I conveyed this impression.

    By the way, it should also be mentioned that the offset between the notation [n][n] for objects of Δ\Delta and n+1\mathbf{n+1} for objects of Δ a\Delta_a can be viewed as a feature, not a bug.

    The reason is that Δ a\Delta_a can be viewed as a theory (in a sense generalizing Lawvere theories) of monoids: As stated in the nlab page, a monoid is the same as a tensor product preserving functor M:Δ aSetM:\Delta_a\to \mathbf{Set}. Via this identification, M(n)M(\mathbf{n}) is the set of nn-tuples of elements of the monoid. Note that when we view a monoid as a category, an nn-tuple of elements becomes a chain of nn composable morphisms.

    Now Δ\Delta (or rather Δ op\Delta^{\mathrm{op}}) can be viewed as a theory of categories: a category is the same thing as a functor C:Δ opSetC:\Delta^{\mathrm{op}}\to\mathbf{Set} satisfying the Segal condition. Under this identification, C([n])C([n]) are the strings of nn comosable morphisms of the category.

    Finally, the fact that monoids are special categories corresponds to the fact that there is an embedding Δ a opΔ\Delta_a^{\mathrm{op}}\to\Delta which sends n\mathbf{n} to [n][n]. Via this embedding, Δ a\Delta_a can be identified with the subcategory of Δ op\Delta^{\mathrm{op}} of monotone maps which preserve least and greatest elements.

    This point of view of Δ\Delta as a theory (i.e., an algebraist’s rather than a topoloigist’s thing) is elaborated in Paul-André Melliès’ Segal condition meets computational effects.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeMay 22nd 2011

    I have edited the entry according to my taste and according to what seems to have become consensus here. Among other things I changed the notation to n=[n1]\mathbf{n} = [n-1] for nΔ a\mathbf{n} \in \Delta_a.

    (I did this already yesterday, but then right the minute when I posted the announcement here the night train that I was on started crossing the Alps and my cell-phone internet connection disappeared).

    • CommentRowNumber17.
    • CommentAuthorFinnLawler
    • CommentTimeMay 22nd 2011
    • (edited May 22nd 2011)

    No worries, Jonas. I was probably just being a bit narky. That paper you cite by Melliès is a very nice one. It’d be great if you could add some of what you say to the page itself. (While we’re on the subject, I found your work on the tripos-to-topos construction very interesting – I’m sure it too would be a very welcome addition to the nLab.)

    Mike wrote:

    Is the specific notation “[n][n]” used in print for the total order with nn objects (as opposed to some other notation involving the number nn)?

    I had thought that Mac Lane used it, but now that I check again I see he uses just nn.

    Edit: Urs’s edits look good to me. I’ve changed a few more [n][n]s to n\mathbf{n}s.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeMay 23rd 2011
    • (edited May 23rd 2011)

    I’ve changed a few more [n][n]s to n\mathbf{n}s.

    Thanks, I was sure I must have missed some, but currently I cannot spend as much time online as I’d need to…

    • CommentRowNumber19.
    • CommentAuthorYaron
    • CommentTimeFeb 16th 2012

    Added references to CWM and Gabriel-Zisman at simplex category. I didn’t read the current thread yet - should there be some remark near the CWM reference stating that there Δ\Delta stands for the augmented simplex category?

    Note also that there is a certain inconsistency between simplex category and augmented simplicial set: in the former, the augmented simplex category is denoted by Δ a\Delta_a, while in the latter it is Δ +\Delta_+ (in CWM, Δ +\Delta^+ stands for the non-augmented simplex category…).

    • CommentRowNumber20.
    • CommentAuthorTim_Porter
    • CommentTimeFeb 16th 2012

    CWM is usually optimised for general use and does not always get the best notation or conventions for the more specialist user of a particular topic, although generally it is very good.

    • CommentRowNumber21.
    • CommentAuthorTodd_Trimble
    • CommentTimeFeb 16th 2012

    The notation Δ +\Delta_+ for the augmented simplex category is certain to confuse me, because my immediate thought is that the + indicates, as apparently it does for Mac Lane, the set of finite positive ordinals (i.e., excluding the empty ordinal 00). I would prefer Δ a\Delta_a (where the ’a’ can stand for ’augmented’ or ’algebraist’s’).

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeFeb 16th 2012
    • (edited Feb 16th 2012)

    Consistent cross-entry conventions are hard to establish and unlikely to be adhered to in all future by all contributors, and are therefore dangerous to rely on.

    Every entry should declare its notation, as far as reasonable, and add remarks about possibly deviating notation, as far as feasible.

  1. I apologize for resurrecting an old thread about notation, but I wonder how people feel about something other than boldface to denote the ordinal n={0<<n1}\mathbf{n} = \{0 \lt \dots \lt n-1\}? I like that there are two different notations to distinguish n={0<<n1}\mathbf{n} = \{0 \lt \dots \lt n-1\} from [n]={0<<n}[n] = \{0 \lt \dots \lt n\}, because this distinction came up naturally in a couple combinatorics-related articles I worked on earlier (order polynomial and zeta polynomial), and most recently at shuffle. But the boldface notation is a bit awkward (besides being time-consuming to typeset!) because it is difficult to distinguish the coproduct in Δ a\Delta_a from the coproduct in Pos. Some alternative notations that would fix this problem are

    • [n)[n). Pros: distinguishes [m)+[n)[m) + [n) from [m+n)[m+n), emphasizes (maybe?) that nn is not included in the interval [n)[n); Cons: might interact badly with editors that do parentheses matching
    • (n)(n). Pros: distinguishes m¯+n¯\overline{m}+\overline{n} from m+n¯\overline{m+n}, easy to type and does not break parentheses matching; Cons: no real mnemonic for distinguishing (n)(n) from [n][n]
    • n¯\overline{n}. Pros: distinguishes m¯+n¯\overline{m}+\overline{n} from m+n¯\overline{m+n}. Cons: takes even longer to typeset than n\mathbf{n}

    Any votes or alternative suggestions?

    (Of course, the reason this issue came up is because I was trying to be consistent about using the conventions from simplex category in other articles, and now I notice the irony of the last comment #22 in this thread. Still, I guess Urs was warning about relying on cross-entry conventions, and that wasn’t the case here because these other entries are redeclaring the notation, just trying to do it in a consistent way.)

  2. (correction: what I meant to say is that with the boldface notation it is difficult to distinguish the tensor product in Δ a\Delta_a from the coproduct in Pos.)

    • CommentRowNumber25.
    • CommentAuthormmuddasani
    • CommentTimeOct 19th 2017
    • (edited Oct 19th 2017)

    Whatever the convention is chosen for the notation of objects, the entry also needs to adjust the notation for arrows into a consistent convention. As currently defined, the codomains of maps σ i n\sigma^n_i and δ i n\delta^n_i are both n\mathbf{n}, yet the string of adjunctions (for instance) shown below involves only superscript nn, which fails to typecheck as the morphisms alternate between n1n\mathbf{n-1} \rightarrow \mathbf{n} and n+1n\mathbf{n+1} \rightarrow \mathbf{n}.

    (Edit: fixed the misquoted notation in this comment)

    • CommentRowNumber26.
    • CommentAuthorMike Shulman
    • CommentTimeOct 19th 2017

    You could write mn\mathbf{m}\sqcup \mathbf{n} for the coproduct in PosPos. In Emacs auctex, boldface is C-c C-f C-b which I don’t find too bothersome.

  3. You could write mn\mathbf{m}\sqcup \mathbf{n} for the coproduct in PosPos.

    That would help for marking it as a coproduct, but the problem is that I also want to refer to the ordinal sum, and the notation m+n\mathbf{m + n} feels ambiguous to me. (It could be typeset as either “\mathbf{m+n}” or “\mathbf{m}+\mathbf{n}”, though the former is intended.)

    • CommentRowNumber28.
    • CommentAuthorMike Shulman
    • CommentTimeOct 19th 2017

    Personally, I’d be very surprised if someone wrote m+n\mathbf{m}+\mathbf{n} and intended the coproduct of posets. But I see your point.

    I suppose, In your situation, I’d probably go with something like m̲\underline{m}.

    • CommentRowNumber29.
    • CommentAuthorTim_Porter
    • CommentTimeOct 20th 2017

    I like to use \oplus for ordinal sum since it is ‘oplus’, but there may be good reasons why not to use it!

  4. I ended up going with the completely explicit notations [1,n][1,n] vs [0,n][0,n] for my examples, but am leaving simplex category as it is since I suppose there is not much appetite for changing notation, and no pressing need for maintaining cross-entry conventions as per #22.

  5. The homogenous symmetric function h m(x 1,x 2,,x n)h_m(x_1,x_2,{\dots},x_n) is the generating function for the set of all morphisms from [m1][m-1] to [n1][n-1].

    diff, v68, current