Not signed in (Sign In)

Start a new discussion

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 beauty bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration 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 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 multicategories 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 science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory 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.
    • CommentAuthorUrs
    • CommentTimeNov 18th 2009

    the invaluable Denis-Charles Cisinski provided a useful reference with a bit on cosimplicial algebras at MO (here). I added that reference to monoidal Dold-Kan correspondence and to cosimplicial algebra.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeNov 18th 2009

    I restructured monoidal Dold-Kan correspondence a bit, creating two big subsections, one on the simplicial, one on the cosimplicial version. Then I expanded the intro bit of the cosimoplicial section by this text

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeNov 18th 2009
    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeNov 20th 2009
    • (edited Nov 20th 2009)
    * Pavol Ševera, Thomas Willwacher, _Equivalence of formalities of the little discs operad_, [arXiv:0905.1789](http://arxiv.org/abs/0905.1789)

    there is Appendix A: Compatibility of Alexander-Whitney map with products

    which may be useful to further improve our entry.
    • CommentRowNumber5.
    • CommentAuthorTobyBartels
    • CommentTimeNov 21st 2009
    • (edited Nov 21st 2009)

    (Zoran, I think that you may have lost your formatting again; check the buttons below the comment box and select ‘Markdown’ to make the bullet point, italics, and link work as you intended.)

    • CommentRowNumber6.
    • CommentAuthorzskoda
    • CommentTimeNov 21st 2009
    Thanks Toby for the hint. Though this time I wanted as it is. It is informative, the link is working, and it can be cut and paste into any entry in nlab as it is: I did not have time to include it in nlab and wanted Urs to pay attention to the reference if he does not already find it trivial mathematically and pedagogically.
    • CommentRowNumber7.
    • CommentAuthorTobyBartels
    • CommentTimeNov 21st 2009

    Ah, clever of you! I'm sorry if I bothered you.

    • CommentRowNumber8.
    • CommentAuthorzskoda
    • CommentTimeNov 29th 2009

    Not at all! Though I did not use it this time, your remarks are often useful to remember for future, to equip me to a more power-level than where I am, web-ignorant in comparison to you. Finally I included the reference in nlab, it seems Urs did not find anything new for him from the reference. In light of Baez's post maybe somebody who knows should create an entry about Frobenius monoidal functors.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeNov 3rd 2010

    am in the process of restructuring, polishing and expanding monoidal Dold-Kan correspondence.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeNov 3rd 2010

    inserted the proof of the Quillen equivalence between simplicial kk-algebras and connective dg-k-algebras here

    (this uses the strong theorem at monoidal Quillen adjunction, the proof of which I turn to now)

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeNov 4th 2010
    • (edited Nov 4th 2010)

    I started a list of different flavors of Quillen equivalences for monoidal DK in a new section Summary

    is it true that the only published reference for the Quillen equivalence

    • connected simplicial commutative kk-algebras \simeq connected commutative dg-kk-algebras

      for kk of characteristic 0

    is the remark on p. 223 of Quillen’s 1969 Rational homotopy theory

    ??

    That seems hard to believe.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJan 21st 2011
    • (edited Jan 21st 2011)

    I have added at monoidal Dold-Kan correspondence the missing reference

    • V.A. Hinich, V.V. Schechtman, Homotopy limits of homotopy algebras , in K-theory, arithmetic and geometry, Lecture Notes in Mathematics 1289, Springer, Berlin 240 − 264.

    This is about the case that is currently not discussed at the entry: the equivalence of commutative COsimplicial algebras and commutative dg-algebra in non-neg degree over a field of char 0 (we have the commutative simplicial case and the non-commutative cosimplicial one, but not the commutative cosimplicial case).

    Could someone maybe send me the pdf copy of that article, available online for those with subscription? I am currently not in Utrecht and it seems that Hamburg has canceled my VPN client account.

    • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeJan 21st 2011
    • (edited Jan 21st 2011)

    I am in a hurry to get to the bus, but I think that it can be found in the directorium from the Hinich’s homepage. I have that file somewhere, but look for his webpage, I can not search for it now.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeFeb 8th 2011

    Thanks, Zoran.

    I looked at his page. But I cannot find that particular article.

    • CommentRowNumber15.
    • CommentAuthorzskoda
    • CommentTimeFeb 8th 2011

    Try here

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeFeb 8th 2011

    Thanks!!

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)