Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

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 definitions 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 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 nforum 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

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeFeb 11th 2010
   • PermaLink
   Author: Urs
   Format: Markdownadded to [[homotopy coherent nerve]] two diagrams in the section <a href="http://ncatlab.org/nlab/show/homotopy+coherent+nerve#examples_and_illustration_5">Examples and illustrations</a> that are supposed to illustrate the hom-SSets of the simplicial category on <latex> \Delta^n</latex>

   added to homotopy coherent nerve two diagrams in the section Examples and illustrations that are supposed to illustrate the hom-SSets of the simplicial category on

2. • CommentRowNumber2.
   • CommentAuthorTim_Porter
   • CommentTimeFeb 11th 2010
   • PermaLink
   Author: Tim_Porter
   Format: MarkdownI have added several 'old' references to this. As one of the originators of that theory I get a bit 'browned off' by papers that do not make any mention of Vogt, Cordier (and of course myself). As I feel a bit like moaning, I would say that some of the papers I have seen show a lack of 'scholarship' in this regard. (end of moan.. promise!)

   I have added several 'old' references to this. As one of the originators of that theory I get a bit 'browned off' by papers that do not make any mention of Vogt, Cordier (and of course myself). As I feel a bit like moaning, I would say that some of the papers I have seen show a lack of 'scholarship' in this regard. (end of moan.. promise!)

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeFeb 11th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownI think it is good that you make these points! I am certainly interested in getting this information from you.

   I think it is good that you make these points! I am certainly interested in getting this information from you.

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeFeb 11th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownI have now made some more of the author names link to their respectivbe nLab entries: Boardman, Vogt and you. Maybe you could create a page for Cordier?

   I have now made some more of the author names link to their respectivbe nLab entries: Boardman, Vogt and you. Maybe you could create a page for Cordier?

5. • CommentRowNumber5.
   • CommentAuthorTim_Porter
   • CommentTimeFeb 12th 2010
   • PermaLink
   Author: Tim_Porter
   Format: MarkdownWIll do (in time!)

   WIll do (in time!)

6. • CommentRowNumber6.
   • CommentAuthorzskoda
   • CommentTimeJan 17th 2011
   • (edited Jan 17th 2011)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexI added the following text in [[homotopy coherent nerve]] (I hope correct; I learned this roughly from Joyal's texts, but blame me if I misinterpreted) and reorganized the definition part: > Recall that a reflexive graph is a simplicial set of dimension $1$, i.e. 1-coskeletal; they form a full subcategory $reflGraph\hookrightarrow Cat$. The forgetful functor $U: Cat \to reflGraph$ has a left adjoint $F$ hence $G = FU : Cat\to Cat$ is a comonad. By the definition its cobar construction is an augmented simplicial endofunctor $S\to Id$ featuring $S :\Delta\to sSet Cat$ and whose augmentation is a cofibrant replacement of a 1-category in the Bergner model structure on $sSet Cat$ ("model structure for simplicially enriched categories"). (By the way if David Roberts is around, he wondered about usual nerves on the history of the distinction between looking it as simplicial sety and as a topological space -- of course for simplicial complexes the passage back and forth was elementarily well known since 1920s (about the same time when Aleksandrov introduced a nerve of a covering) but the full fledged treatment and the definition of a geometric realization is due John Milnor: The geometric realization of a semi-simplicial complex. Ann. of Math. (2) 65 (1957), 357–362 (of course at the time simplicial sets were "complete semi-simplicial complexes"). This is about the same time as Grothendieck started looking at more general nerves of categories.)

   I added the following text in homotopy coherent nerve (I hope correct; I learned this roughly from Joyal’s texts, but blame me if I misinterpreted) and reorganized the definition part:

   Recall that a reflexive graph is a simplicial set of dimension $1$, i.e. 1-coskeletal; they form a full subcategory $reflGraph\hookrightarrow Cat$. The forgetful functor $U: Cat \to reflGraph$ has a left adjoint $F$ hence $G = FU : Cat\to Cat$ is a comonad. By the definition its cobar construction is an augmented simplicial endofunctor $S\to Id$ featuring $S :\Delta\to sSet Cat$ and whose augmentation is a cofibrant replacement of a 1-category in the Bergner model structure on $sSet Cat$ (“model structure for simplicially enriched categories”).

   (By the way if David Roberts is around, he wondered about usual nerves on the history of the distinction between looking it as simplicial sety and as a topological space – of course for simplicial complexes the passage back and forth was elementarily well known since 1920s (about the same time when Aleksandrov introduced a nerve of a covering) but the full fledged treatment and the definition of a geometric realization is due John Milnor: The geometric realization of a semi-simplicial complex. Ann. of Math. (2) 65 (1957), 357–362 (of course at the time simplicial sets were “complete semi-simplicial complexes”). This is about the same time as Grothendieck started looking at more general nerves of categories.)

7. • CommentRowNumber7.
   • CommentAuthorzskoda
   • CommentTimeJan 17th 2011
   • PermaLink
   Author: zskoda
   Format: MarkdownItexHere I archive two discussions from query boxes at [[homotopy coherent nerve]] QUERY 1 > [[Todd Trimble|Todd]]: I am learning this for the first time, and I had some difficulty with how the definition of $P_{i,j}$ reads. From the ensuing discussion, it seems you want the elements of the poset to be $I \subseteq [i, j]: i, j \in I$, ordered by inclusion. But in the definition, it's not clear what sort of thing $J$ is supposed to be, and it looks like the elements of the poset are instances of inclusions. (Another minor thing I don't understand is why $\subset$ is being used instead of $\subseteq$, since for many mathematicians $\subset$ means strict inclusion. I see this preference for $\subset$ all over the nLab in fact; has this been discussed somewhere?) > [[Tim Porter|Tim]]: I did not originate the poset based description as I always think of things as being paths through the $N$-simplex from $i$ to $j$ and then use a rewrite idea for the link. I will try to clean up the poset definition a bit and see if it helps, otherwise we can switch to the path based description and use the poset as a second way. I'm not bothered either way. >Some minutes later! Does this read well now? > [[Todd Trimble|Todd]]: Thank you! Yes, me happy now. QUERY 2 -- on terminology (at the time, it was at the entry then called [[simplicial nerve of simplicial categories]]) > Is there a simplicial nerve that\'s not of simplicial categories? If not, I\'d put the article here instead of there. ---Toby > [[Urs Schreiber|Urs]]: yes, it seems to be called just "simplicial nerve" in the literature, but I found that a bit undescriptive, since every nerve is "simplicial" and here the point is really that we take the nerve _of_ a simplicial category. I also seem to recall that [[Tim Porter|Tim]] said he doesn't like the term "simplicial nerve". Maybe Tim should decide, he is probably the one among us who has thought about this notion the most. > _Toby_: Ah, I see how 'simplicial nerve' is confusing; so how about just [[nerve of a simplicial category]]? > [[Urs Schreiber|Urs]]: right, that might be the best option -- I have to run now, maybe you can implement that? > _Toby_: I\'ll wait to hear from Tim. > [[Mike Shulman|Mike]]: Not all nerves are simplicial; it depends on what you are taking the nerve of. The nerve of a multicategory is a dendroidal set (a presheaf on the category of trees). The nerve of a compact symmetric multicategory is a presheaf on the category of Feynman graphs. And an $n$-category has a nerve that is a simplicial set, but also one that is a $\Theta_n$-set and one that is an $n$-fold simplicial set. > FWIW, I have sometimes seen the "simplicial nerve of simplicial categories" called the "homotopy coherent nerve," which to me captures the intuition better. > [[Urs Schreiber|Urs]]: true, I actually know that not every notion of nerve is simplicial, should have thought before typing. > Now that you mention it, maybe [[Tim Porter]] also said he favored "homotopy coherent nerve"? I'll send him an email. > [[Tim Porter|Tim]]: Back from a short absence: the term 'homotopy coherent nerve' is probably a good one only when it fairly directly relates to homotopy coherence. > Any 2-category can be thought of as a simplicially enriched category and the Duskin nerve of a bicategory specialises to the same construction on 2-categories. Various people use the term 'geometric nerve' for this. (It is interesting to compare the 'simplicial nerve' of a simplicial group (as SSet-enriched category) with Wbar of the same thing.) I am trying to write something for the Menagerie that looks at the h.c. nerve with these aspects accentuated and also with links with Behrang Noohi's weak maps of crossed modules. I may put some of this on nLab when I see more clearly how it all fits together. > In the meantime, I suggest we keep the term h.c. nerve although it is probably not 'best possible'. I agree that 'simplicial nerve' is probably not a good term.

   Here I archive two discussions from query boxes at homotopy coherent nerve

   QUERY 1

   Todd: I am learning this for the first time, and I had some difficulty with how the definition of $P_{i,j}$ reads. From the ensuing discussion, it seems you want the elements of the poset to be $I \subseteq [i, j]: i, j \in I$, ordered by inclusion. But in the definition, it’s not clear what sort of thing $J$ is supposed to be, and it looks like the elements of the poset are instances of inclusions. (Another minor thing I don’t understand is why $\subset$ is being used instead of $\subseteq$, since for many mathematicians $\subset$ means strict inclusion. I see this preference for $\subset$ all over the nLab in fact; has this been discussed somewhere?)

   Tim: I did not originate the poset based description as I always think of things as being paths through the $N$-simplex from $i$ to $j$ and then use a rewrite idea for the link. I will try to clean up the poset definition a bit and see if it helps, otherwise we can switch to the path based description and use the poset as a second way. I’m not bothered either way.

   Some minutes later! Does this read well now?

   Todd: Thank you! Yes, me happy now.

   QUERY 2 – on terminology (at the time, it was at the entry then called simplicial nerve of simplicial categories)

   Is there a simplicial nerve that's not of simplicial categories? If not, I'd put the article here instead of there. —Toby

   Urs: yes, it seems to be called just “simplicial nerve” in the literature, but I found that a bit undescriptive, since every nerve is “simplicial” and here the point is really that we take the nerve of a simplicial category. I also seem to recall that Tim said he doesn’t like the term “simplicial nerve”. Maybe Tim should decide, he is probably the one among us who has thought about this notion the most.

   Toby: Ah, I see how ’simplicial nerve’ is confusing; so how about just nerve of a simplicial category?

   Urs: right, that might be the best option – I have to run now, maybe you can implement that?

   Toby: I'll wait to hear from Tim.

   Mike: Not all nerves are simplicial; it depends on what you are taking the nerve of. The nerve of a multicategory is a dendroidal set (a presheaf on the category of trees). The nerve of a compact symmetric multicategory is a presheaf on the category of Feynman graphs. And an $n$-category has a nerve that is a simplicial set, but also one that is a $\Theta_n$-set and one that is an $n$-fold simplicial set.

   FWIW, I have sometimes seen the “simplicial nerve of simplicial categories” called the “homotopy coherent nerve,” which to me captures the intuition better.

   Urs: true, I actually know that not every notion of nerve is simplicial, should have thought before typing.

   Now that you mention it, maybe Tim Porter also said he favored “homotopy coherent nerve”? I’ll send him an email.

   Tim: Back from a short absence: the term ’homotopy coherent nerve’ is probably a good one only when it fairly directly relates to homotopy coherence.

   Any 2-category can be thought of as a simplicially enriched category and the Duskin nerve of a bicategory specialises to the same construction on 2-categories. Various people use the term ’geometric nerve’ for this. (It is interesting to compare the ’simplicial nerve’ of a simplicial group (as SSet-enriched category) with Wbar of the same thing.) I am trying to write something for the Menagerie that looks at the h.c. nerve with these aspects accentuated and also with links with Behrang Noohi’s weak maps of crossed modules. I may put some of this on nLab when I see more clearly how it all fits together.

   In the meantime, I suggest we keep the term h.c. nerve although it is probably not ’best possible’. I agree that ’simplicial nerve’ is probably not a good term.

8. • CommentRowNumber8.
   • CommentAuthorDavidRoberts
   • CommentTimeJan 17th 2011
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexHi Zoran, thanks for the pointer to the history. I was thinking more along the lines of how some people these days say 'simplicial space' and mean bisimplicial set, and when talking about spaces actually mean simplicial set. But once Milnor pointed out the link between sSet and Top, and Kan (I think) showed that sSet modelled all homotopy types, then I suppose those in the know would have been comfortable with switching back and forth. But as you say, simplicial sets came from simplicial complexes, which were definitely used interchangeably with (nice) spaces.

   Hi Zoran, thanks for the pointer to the history. I was thinking more along the lines of how some people these days say ’simplicial space’ and mean bisimplicial set, and when talking about spaces actually mean simplicial set. But once Milnor pointed out the link between sSet and Top, and Kan (I think) showed that sSet modelled all homotopy types, then I suppose those in the know would have been comfortable with switching back and forth. But as you say, simplicial sets came from simplicial complexes, which were definitely used interchangeably with (nice) spaces.

9. • CommentRowNumber9.
   • CommentAuthorMike Shulman
   • CommentTimeJan 18th 2011
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItex> they form a full subcategory reflGraph↪Cat Do you mean reflGraph↪sSet?

   they form a full subcategory reflGraph↪Cat

   Do you mean reflGraph↪sSet?

10. • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeJan 18th 2011
    • PermaLink
    Author: zskoda
    Format: MarkdownItexYes, that is what I meant, but I was writing and erasing various things and somehow the final version got incorrect.

    Yes, that is what I meant, but I was writing and erasing various things and somehow the final version got incorrect.

11. • CommentRowNumber11.
    • CommentAuthornLab edit announcer
    • CommentTimeApr 5th 2018
    • PermaLink
    Author: nLab edit announcer
    Format: MarkdownItexI have changed the wording in the historical section as there were a few too many 'and's and as a result the sentences did not read that well! Tim Porter <a href="https://ncatlab.org/nlab/revision/diff/homotopy+coherent+nerve/60">diff</a>, <a href="https://ncatlab.org/nlab/revision/homotopy+coherent+nerve/60">v60</a>, <a href="https://ncatlab.org/nlab/show/homotopy+coherent+nerve">current</a>

    I have changed the wording in the historical section as there were a few too many ’and’s and as a result the sentences did not read that well!

    Tim Porter

    diff, v60, current

12. • CommentRowNumber12.
    • CommentAuthorTim_Porter
    • CommentTimeOct 25th 2018
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexFixed a typo and made a small change in the wording at one place. <a href="https://ncatlab.org/nlab/revision/diff/homotopy+coherent+nerve/62">diff</a>, <a href="https://ncatlab.org/nlab/revision/homotopy+coherent+nerve/62">v62</a>, <a href="https://ncatlab.org/nlab/show/homotopy+coherent+nerve">current</a>

    Fixed a typo and made a small change in the wording at one place.

    diff, v62, current

13. • CommentRowNumber13.
    • CommentAuthorGuest
    • CommentTimeMay 14th 2021
    • PermaLink
    Author: Guest
    Format: MarkdownItexHi! The simplicial composition in the object that gives the shape to the homotopy coherent nerve - that is, the object $S[n]$ - is never specified explicitly. It is "fairly obvious", but indeed there are 2 fairly obvious ways of composing paths: one can keep the intermediate vertex or can discard it. I think these two ways should be somehow canonically isomorphic, but since there is a direction involved $0 \to 1$ I am not sure if a "reflection" will do the trick. I would be grateful if someone could come in and fill in this tiny detail! By the subset representation of a path, at the moment I am more convinced of the "discarding" option :)

    Hi! The simplicial composition in the object that gives the shape to the homotopy coherent nerve - that is, the object $S[n]$ - is never specified explicitly. It is “fairly obvious”, but indeed there are 2 fairly obvious ways of composing paths: one can keep the intermediate vertex or can discard it. I think these two ways should be somehow canonically isomorphic, but since there is a direction involved $0 \to 1$ I am not sure if a “reflection” will do the trick. I would be grateful if someone could come in and fill in this tiny detail! By the subset representation of a path, at the moment I am more convinced of the “discarding” option :)

14. • CommentRowNumber14.
    • CommentAuthorGuest
    • CommentTimeMay 14th 2021
    • PermaLink
    Author: Guest
    Format: MarkdownItexHi, still Andrea talking here. There is another tiny detail missing: the object $S[n]$ is cosimplicial in $n$, but the cosimplicial maps are not specified. A similar problem as before arises: for example, the map $d_1 : [1] \to [2] $ should induce a map $S[1] \to S[2]$ that is fixed on objects and makes a choice $ a \in Map_{S[2] } ( 0, 2) $. The latter can be the path $0 \to 1 \to 2$ or $0 \to 2$. In general one must choose if plugging in the intermediate vertex, and I suspect we must keep it. In other words, there are two "obvious choices" of the kind "keep or discard", and I guess they must be opposite.

    Hi, still Andrea talking here. There is another tiny detail missing: the object $S[n]$ is cosimplicial in $n$, but the cosimplicial maps are not specified. A similar problem as before arises: for example, the map $d_1 : [1] \to [2]$ should induce a map $S[1] \to S[2]$ that is fixed on objects and makes a choice $a \in Map_{S[2] } ( 0, 2)$. The latter can be the path $0 \to 1 \to 2$ or $0 \to 2$. In general one must choose if plugging in the intermediate vertex, and I suspect we must keep it. In other words, there are two “obvious choices” of the kind “keep or discard”, and I guess they must be opposite.

15. • CommentRowNumber15.
    • CommentAuthorTim_Porter
    • CommentTimeJul 5th 2021
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexFixed a grammatical glitch. <a href="https://ncatlab.org/nlab/revision/diff/homotopy+coherent+nerve/67">diff</a>, <a href="https://ncatlab.org/nlab/revision/homotopy+coherent+nerve/67">v67</a>, <a href="https://ncatlab.org/nlab/show/homotopy+coherent+nerve">current</a>

    Fixed a grammatical glitch.

    diff, v67, current

16. • CommentRowNumber16.
    • CommentAuthorHurkyl
    • CommentTimeJul 5th 2021
    • (edited Jul 5th 2021)
    • PermaLink
    Author: Hurkyl
    Format: MarkdownItexPaths are arrows in the free category of a graph, so composing a path $0 \to 1$ with a path $1 \to 2$ gives the path $0 \to 1 \to 2$. In fact, the underlying 1-category of $S[n]$ is the free category generated by the nondegenerate arrows of $[n]$. The representation as a subset given in the article intends to be the set of vertices visited, so $12 \circ 01 = 012$. But you could choose alternative representations, such as "the set of endpoints together with the set of intermediate vertices not visited" which, I think, gives the "take the union but drop the intermediate vertex" scheme you were interested in. The intended action of an order morphism $f : [m] \to [n]$ on paths is that $Sf$ applies $f$ pointwise. IIRC, for any simplicial set $K$, the underlying 1-category of $SK$ is the free category generated by the nondegenerate 1-simplices of $K$.

    Paths are arrows in the free category of a graph, so composing a path $0 \to 1$ with a path $1 \to 2$ gives the path $0 \to 1 \to 2$. In fact, the underlying 1-category of $S[n]$ is the free category generated by the nondegenerate arrows of $[n]$. The representation as a subset given in the article intends to be the set of vertices visited, so $12 \circ 01 = 012$. But you could choose alternative representations, such as “the set of endpoints together with the set of intermediate vertices not visited” which, I think, gives the “take the union but drop the intermediate vertex” scheme you were interested in.

    The intended action of an order morphism $f : [m] \to [n]$ on paths is that $Sf$ applies $f$ pointwise. IIRC, for any simplicial set $K$, the underlying 1-category of $SK$ is the free category generated by the nondegenerate 1-simplices of $K$.

17. • CommentRowNumber17.
    • CommentAuthorHurkyl
    • CommentTimeNov 5th 2021
    • (edited Nov 5th 2021)
    • PermaLink
    Author: Hurkyl
    Format: MarkdownItexWhat are the thoughts on reversing the ordering convention for the hom-spaces? As written, the nondegenerate 1-simplex of $S\Delta^2(0, 2)$ has the orientation $[20] \to [21] \cdot [10]$, so it's depicted more like an oplax operation, which breaks the convention that things are typically formulated in the lax version. For example, the Duskin nerve page on nLab takes the opposite convention. Lurie also switches over to the opposite convention when he wrote the Kerodon, in notation 2.4.3.1 (simplicial path categories). If nobody objects I'll go ahead and make the change.

    What are the thoughts on reversing the ordering convention for the hom-spaces?

    As written, the nondegenerate 1-simplex of $S\Delta^2(0, 2)$ has the orientation $[20] \to [21] \cdot [10]$, so it’s depicted more like an oplax operation, which breaks the convention that things are typically formulated in the lax version.

    For example, the Duskin nerve page on nLab takes the opposite convention. Lurie also switches over to the opposite convention when he wrote the Kerodon, in notation 2.4.3.1 (simplicial path categories).

    If nobody objects I’ll go ahead and make the change.

18. • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeNov 5th 2021
    • PermaLink
    Author: Urs
    Format: MarkdownItexSounds good, please do.

    Sounds good, please do.

19. • CommentRowNumber19.
    • CommentAuthorHurkyl
    • CommentTimeNov 5th 2021
    • PermaLink
    Author: Hurkyl
    Format: MarkdownItexReversed the ordering on the hom-objects. Added remarks that the previous ordering appears in literature <a href="https://ncatlab.org/nlab/revision/diff/homotopy+coherent+nerve/68">diff</a>, <a href="https://ncatlab.org/nlab/revision/homotopy+coherent+nerve/68">v68</a>, <a href="https://ncatlab.org/nlab/show/homotopy+coherent+nerve">current</a>

    Reversed the ordering on the hom-objects. Added remarks that the previous ordering appears in literature

    diff, v68, current

20. • CommentRowNumber20.
    • CommentAuthorHurkyl
    • CommentTimeNov 5th 2021
    • PermaLink
    Author: Hurkyl
    Format: MarkdownItexImproved some of the language. <a href="https://ncatlab.org/nlab/revision/diff/homotopy+coherent+nerve/68">diff</a>, <a href="https://ncatlab.org/nlab/revision/homotopy+coherent+nerve/68">v68</a>, <a href="https://ncatlab.org/nlab/show/homotopy+coherent+nerve">current</a>

    Improved some of the language.

    diff, v68, current

21. • CommentRowNumber21.
    • CommentAuthorHurkyl
    • CommentTimeNov 5th 2021
    • PermaLink
    Author: Hurkyl
    Format: MarkdownItexAdded some more examples of $S(-)$. <a href="https://ncatlab.org/nlab/revision/diff/homotopy+coherent+nerve/69">diff</a>, <a href="https://ncatlab.org/nlab/revision/homotopy+coherent+nerve/69">v69</a>, <a href="https://ncatlab.org/nlab/show/homotopy+coherent+nerve">current</a>

    Added some more examples of $S(-)$.

    diff, v69, current

22. • CommentRowNumber22.
    • CommentAuthorHurkyl
    • CommentTimeNov 5th 2021
    • PermaLink
    Author: Hurkyl
    Format: MarkdownItexAdd a bit more explanation about $S(\Lambda^n_k)$ and $S(\partial \Delta^n)$. Maybe the description of $S(\Delta^n)(0,n)$ would be better served in the previous section, I'm not sure. <a href="https://ncatlab.org/nlab/revision/diff/homotopy+coherent+nerve/69">diff</a>, <a href="https://ncatlab.org/nlab/revision/homotopy+coherent+nerve/69">v69</a>, <a href="https://ncatlab.org/nlab/show/homotopy+coherent+nerve">current</a>

    Add a bit more explanation about $S(\Lambda^n_k)$ and $S(\partial \Delta^n)$. Maybe the description of $S(\Delta^n)(0,n)$ would be better served in the previous section, I’m not sure.

    diff, v69, current

23. • CommentRowNumber23.
    • CommentAuthorTim_Porter
    • CommentTimeNov 5th 2021
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexPlease don't!!!! There are consequences to changing those conventions so it is better to add a note about the convention rather than changing it. (I know as one of the original developers of the theory, adding a note is not sufficient and shoud not be done unless you are 100% certain that there are no consequences, i.e. that all the parts match!) The two theories are completely equivalent as is clear. In other words I do object.

    Please don’t!!!! There are consequences to changing those conventions so it is better to add a note about the convention rather than changing it. (I know as one of the original developers of the theory, adding a note is not sufficient and shoud not be done unless you are 100% certain that there are no consequences, i.e. that all the parts match!) The two theories are completely equivalent as is clear. In other words I do object.

24. • CommentRowNumber24.
    • CommentAuthorHurkyl
    • CommentTimeNov 5th 2021
    • (edited Nov 5th 2021)
    • PermaLink
    Author: Hurkyl
    Format: MarkdownItexOkay. I've tossed out most of my reasons for bringing it up; I should also add that Kerodon uses the changed version (hom-objects are reverse inclusion of subsets) when developing the theory of $(\infty,2)$-categories. E.g. 5.3.7.6 (tag 01YA) of the Kerodon suggesting we view maps $N^{hc}(C) \to N^{hc}(D)$ as the right generalization of lax functor. (maybe 4.6.6.9 and 4.6.6.10, 01lg and 01lh, can weight in too) I'll let people more familiar with the breadth of the theory decide on how to proceed.

    Okay. I’ve tossed out most of my reasons for bringing it up; I should also add that Kerodon uses the changed version (hom-objects are reverse inclusion of subsets) when developing the theory of $(\infty,2)$-categories. E.g. 5.3.7.6 (tag 01YA) of the Kerodon suggesting we view maps $N^{hc}(C) \to N^{hc}(D)$ as the right generalization of lax functor. (maybe 4.6.6.9 and 4.6.6.10, 01lg and 01lh, can weight in too)

    I’ll let people more familiar with the breadth of the theory decide on how to proceed.

25. • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeNov 5th 2021
    • PermaLink
    Author: Urs
    Format: MarkdownItexThis has nothing to do with the theory, it's a choice of notation for making a nicely readable entry, and it's great that somebody is looking into it. Tim, if you feel attached to this entry, there is much room for you to work on improving it, too. For instance you could turn the array diagrams into `tikzcd`s.

    This has nothing to do with the theory, it’s a choice of notation for making a nicely readable entry, and it’s great that somebody is looking into it.

    Tim, if you feel attached to this entry, there is much room for you to work on improving it, too. For instance you could turn the array diagrams into tikzcds.

26. • CommentRowNumber26.
    • CommentAuthorTim_Porter
    • CommentTimeNov 5th 2021
    • (edited Nov 5th 2021)
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexThe one main point is that the original definition and the reversed definition result from opposite convention for the simplicial resolution given by an adjoint pair. This has consequences (not serious ones) as to the conventions for the face and degeneracy maps. It would be as well if the same convention was used as in any n-Lab entry on simplicial resolutions, bar constructions etc, and that need a bit of ferreting. I will have a look at the entry to see how it can be tweeked / improved. My objection is not a theoretic one but merely a pragmatic one that adjusting the convention in one part of the entry implies that the rest of the entry has to be checked to see that it is consistent. (I need to look at the entry as I said and it may be that it is safe to do the change without loads of adjustment. I am also fond of the original version as I worked on that with Jean-Marc Cordier but the main reason for my objection was that to check consistency might be quite a lot of work ... or it might be a question of tweeking a few equations and changing a few words. I have not used tikzcd so I doubt that that part of the request that you mention, Urs, will get done. (I should learn to use it but usually get by with xy and even more restrictedly xymatrix!) I did not mean to put off Hurkyl and would much appreciate feed back here when I have looked at the entry. No doubt I will get it if I do something outragous. Lol.

    The one main point is that the original definition and the reversed definition result from opposite convention for the simplicial resolution given by an adjoint pair. This has consequences (not serious ones) as to the conventions for the face and degeneracy maps. It would be as well if the same convention was used as in any n-Lab entry on simplicial resolutions, bar constructions etc, and that need a bit of ferreting. I will have a look at the entry to see how it can be tweeked / improved. My objection is not a theoretic one but merely a pragmatic one that adjusting the convention in one part of the entry implies that the rest of the entry has to be checked to see that it is consistent. (I need to look at the entry as I said and it may be that it is safe to do the change without loads of adjustment. I am also fond of the original version as I worked on that with Jean-Marc Cordier but the main reason for my objection was that to check consistency might be quite a lot of work … or it might be a question of tweeking a few equations and changing a few words.

    I have not used tikzcd so I doubt that that part of the request that you mention, Urs, will get done. (I should learn to use it but usually get by with xy and even more restrictedly xymatrix!)

    I did not mean to put off Hurkyl and would much appreciate feed back here when I have looked at the entry. No doubt I will get it if I do something outragous. Lol.

27. • CommentRowNumber27.
    • CommentAuthorTim_Porter
    • CommentTimeNov 5th 2021
    • (edited Nov 5th 2021)
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexThe entry does need attention. If nothing else, it refers to comonadic resolution but there is no entry explicitly on that and the entries on canonical resolution and simplicial resolution and monadic cohomology all seem to be in need of a bit of TLC. I will try to track back and do some repair work. I will probably take a fairly classical elementary viewpoint to start with, so expect some more up-to-date nPOV interventions later. :-; I may risk duplicating some ideas, but that can be handled afterwards at the tidying stage.

    The entry does need attention. If nothing else, it refers to comonadic resolution but there is no entry explicitly on that and the entries on canonical resolution and simplicial resolution and monadic cohomology all seem to be in need of a bit of TLC. I will try to track back and do some repair work. I will probably take a fairly classical elementary viewpoint to start with, so expect some more up-to-date nPOV interventions later. :-;

    I may risk duplicating some ideas, but that can be handled afterwards at the tidying stage.

28. • CommentRowNumber28.
    • CommentAuthorTim_Porter
    • CommentTimeNov 6th 2021
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexLots of tidying of the early sections. <a href="https://ncatlab.org/nlab/revision/diff/homotopy+coherent+nerve/71">diff</a>, <a href="https://ncatlab.org/nlab/revision/homotopy+coherent+nerve/71">v71</a>, <a href="https://ncatlab.org/nlab/show/homotopy+coherent+nerve">current</a>

    Lots of tidying of the early sections.

    diff, v71, current

29. • CommentRowNumber29.
    • CommentAuthorTim_Porter
    • CommentTimeNov 6th 2021
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexI have started redoing the diagrams (using xymatrix as I could not get tikz-cd to work. Is there a good manual and list of worked examples for this as there is for xypic?)

    I have started redoing the diagrams (using xymatrix as I could not get tikz-cd to work. Is there a good manual and list of worked examples for this as there is for xypic?)

30. • CommentRowNumber30.
    • CommentAuthorHurkyl
    • CommentTimeNov 6th 2021
    • PermaLink
    Author: Hurkyl
    Format: MarkdownItexDoes tikz-cd just work on the site? I'll have a go at the S[3] example

    Does tikz-cd just work on the site? I’ll have a go at the S[3] example

31. • CommentRowNumber31.
    • CommentAuthorHurkyl
    • CommentTimeNov 6th 2021
    • PermaLink
    Author: Hurkyl
    Format: MarkdownItexWait nevermind, I don't actually know how to do that S[3] example. :(

    Wait nevermind, I don’t actually know how to do that S[3] example. :(

32. • CommentRowNumber32.
    • CommentAuthorTim_Porter
    • CommentTimeNov 6th 2021
    • (edited Nov 6th 2021)
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItex... neither do I . I understand the idea but not what those diagrams are supposed to be. (This is written out somewhere in the Menagerie notes I thought, but I cannot find the exact page!) Lets leave it for the moment. Can you improve the wording of this part? ... and is what I said about opposite simplicial sets etc ok by you. By that I meana does it make sense, or are their gaps, are all the links working and do they do what you would hope they would do. I could not find a separate entry on opposite simplicial set, but am sure I saw it the other day! As to tikzcd I could get the triangle but not the vertical down double arrow. (I am not sure if the labels make sense but I don't think they do in the body of the text as well.) I will leave this for tonight. There is a bit on using tikzcd in the Lab in the How to entry.

    … neither do I . I understand the idea but not what those diagrams are supposed to be. (This is written out somewhere in the Menagerie notes I thought, but I cannot find the exact page!) Lets leave it for the moment. Can you improve the wording of this part? … and is what I said about opposite simplicial sets etc ok by you. By that I meana does it make sense, or are their gaps, are all the links working and do they do what you would hope they would do.

    I could not find a separate entry on opposite simplicial set, but am sure I saw it the other day!

    As to tikzcd I could get the triangle but not the vertical down double arrow. (I am not sure if the labels make sense but I don’t think they do in the body of the text as well.) I will leave this for tonight.

    There is a bit on using tikzcd in the Lab in the How to entry.

33. • CommentRowNumber33.
    • CommentAuthorHurkyl
    • CommentTimeNov 6th 2021
    • (edited Nov 6th 2021)
    • PermaLink
    Author: Hurkyl
    Format: MarkdownItexSkimming over it, everything looks fine to me. seems fine for me. To make a double arrow, \arrow[d, Rightarrow] and similar should be the right thing, at least in a TeX document. And when you want an arrow between two vertices in a diagram where one or both endpoints don't actually have anything drawn there... you still need to put something at that vertex or tikzcd gets confused. Just an open-brace close-brace pair works (i.e. {}).

    Skimming over it, everything looks fine to me. seems fine for me.

    To make a double arrow, \arrow[d, Rightarrow] and similar should be the right thing, at least in a TeX document. And when you want an arrow between two vertices in a diagram where one or both endpoints don’t actually have anything drawn there… you still need to put something at that vertex or tikzcd gets confused. Just an open-brace close-brace pair works (i.e. {}).

34. • CommentRowNumber34.
    • CommentAuthorTim_Porter
    • CommentTimeNov 6th 2021
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexThanks. I am trying to learn a bit of tizkcd as xymatrix is sometimes a bit limited.

    Thanks. I am trying to learn a bit of tizkcd as xymatrix is sometimes a bit limited.

35. • CommentRowNumber35.
    • CommentAuthorTim_Porter
    • CommentTimeFeb 13th 2023
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexPossibly fixed a dead link... but the new link looks a bit fragile to me! <a href="https://ncatlab.org/nlab/revision/diff/homotopy+coherent+nerve/79">diff</a>, <a href="https://ncatlab.org/nlab/revision/homotopy+coherent+nerve/79">v79</a>, <a href="https://ncatlab.org/nlab/show/homotopy+coherent+nerve">current</a>

    Possibly fixed a dead link… but the new link looks a bit fragile to me!

    diff, v79, current

36. • CommentRowNumber36.
    • CommentAuthorUrs
    • CommentTimeFeb 13th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexYes, best to upload such unpublished files to the nLab server, in order to secure them. Have done so now ([this item](https://ncatlab.org/nlab/show/homotopy+coherent+nerve#Dhand), [pdf](https://ncatlab.org/nlab/files/Dhand-SimplicialNerve.pdf)) <a href="https://ncatlab.org/nlab/revision/diff/homotopy+coherent+nerve/80">diff</a>, <a href="https://ncatlab.org/nlab/revision/homotopy+coherent+nerve/80">v80</a>, <a href="https://ncatlab.org/nlab/show/homotopy+coherent+nerve">current</a>

    Yes, best to upload such unpublished files to the nLab server, in order to secure them. Have done so now (this item, pdf)

    diff, v80, current

37. • CommentRowNumber37.
    • CommentAuthorTim_Porter
    • CommentTimeFeb 13th 2023
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexI was not certain of the 'policy' with unpublished and fairly informal items. Thanks.

    I was not certain of the ’policy’ with unpublished and fairly informal items. Thanks.

38. • CommentRowNumber38.
    • CommentAuthorUrs
    • CommentTimeApr 26th 2023
    • (edited Apr 26th 2023)
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Emilio Minichiello]], [[Manuel Rivera]], [[Mahmoud Zeinalian]], *Categorical models for path spaces*, Advances in Mathematics **415** (2023) 108898 &lbrack;[arXiv:2201.03046](https://arxiv.org/abs/2201.03046), [doi:10.1016/j.aim.2023.108898](https://doi.org/10.1016/j.aim.2023.108898)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/homotopy+coherent+nerve/81">diff</a>, <a href="https://ncatlab.org/nlab/revision/homotopy+coherent+nerve/81">v81</a>, <a href="https://ncatlab.org/nlab/show/homotopy+coherent+nerve">current</a>

    added pointer to:

    • Emilio Minichiello, Manuel Rivera, Mahmoud Zeinalian, Categorical models for path spaces, Advances in Mathematics 415 (2023) 108898 [arXiv:2201.03046, doi:10.1016/j.aim.2023.108898]

    diff, v81, current

39. • CommentRowNumber39.
    • CommentAuthorUrs
    • CommentTimeApr 27th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItextouched wording and typesetting in the Definition-section <a href="https://ncatlab.org/nlab/revision/diff/homotopy+coherent+nerve/82">diff</a>, <a href="https://ncatlab.org/nlab/revision/homotopy+coherent+nerve/82">v82</a>, <a href="https://ncatlab.org/nlab/show/homotopy+coherent+nerve">current</a>

    touched wording and typesetting in the Definition-section

    diff, v82, current

40. • CommentRowNumber40.
    • CommentAuthorUrs
    • CommentTimeApr 27th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexalso tried to brush-up the list of references <a href="https://ncatlab.org/nlab/revision/diff/homotopy+coherent+nerve/82">diff</a>, <a href="https://ncatlab.org/nlab/revision/homotopy+coherent+nerve/82">v82</a>, <a href="https://ncatlab.org/nlab/show/homotopy+coherent+nerve">current</a>

    also tried to brush-up the list of references

    diff, v82, current

41. • CommentRowNumber41.
    • CommentAuthornLab edit announcer
    • CommentTimeJul 13th 2023
    • PermaLink
    Author: nLab edit announcer
    Format: MarkdownItexsimrq changed to simeq Hari Rau-Murthy <a href="https://ncatlab.org/nlab/revision/diff/homotopy+coherent+nerve/86">diff</a>, <a href="https://ncatlab.org/nlab/revision/homotopy+coherent+nerve/86">v86</a>, <a href="https://ncatlab.org/nlab/show/homotopy+coherent+nerve">current</a>

    simrq changed to simeq

    Hari Rau-Murthy

    diff, v86, current

42. • CommentRowNumber42.
    • CommentAuthornLab edit announcer
    • CommentTimeMar 29th 2024
    • PermaLink
    Author: nLab edit announcer
    Format: MarkdownItexadded * {#Arakawa23}[[Arakawa Kensuke]], *Classifying Space via Homotopy Coherent Nerve*, Homology Homotopy Appl. 25(2), 2023, 373--381 ([arXiv:math/2208.00550](https://arxiv.org/abs/2208.00550),[doi:org/10.4310/HHA.2023.v25.n2.a16](http://dx.doi.org/10.4310/HHA.2023.v25.n2.a16)) in a reference Kensuke Arakawa <a href="https://ncatlab.org/nlab/revision/diff/homotopy+coherent+nerve/87">diff</a>, <a href="https://ncatlab.org/nlab/revision/homotopy+coherent+nerve/87">v87</a>, <a href="https://ncatlab.org/nlab/show/homotopy+coherent+nerve">current</a>

    added

    • {#Arakawa23}Arakawa Kensuke, Classifying Space via Homotopy Coherent Nerve, Homology Homotopy Appl. 25(2), 2023, 373–381 (arXiv:math/2208.00550,doi:org/10.4310/HHA.2023.v25.n2.a16)

    in a reference

    Kensuke Arakawa

    diff, v87, current