Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeJan 7th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownI was unsatisfied with the entry [[Eilenberg-MacLane object]]. So I changed the wording at the beginning. Maybe it's an improvement, maybe something better needs to be done.

   I was unsatisfied with the entry Eilenberg-MacLane object. So I changed the wording at the beginning. Maybe it's an improvement, maybe something better needs to be done.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeMar 24th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownI worked a bit on polishing and expanding [[Eilenberg-MacLane object]]. There are now more precise definitions and some theorems. Notably the definition as n-[[connected]] and n-[[truncated]] objects is now there. One obvious propositon that I didn't find in HTT I have added. But check if I am overlooking something.

   I worked a bit on polishing and expanding Eilenberg-MacLane object.

   There are now more precise definitions and some theorems. Notably the definition as n-connected and n-truncated objects is now there.

   One obvious propositon that I didn't find in HTT I have added. But check if I am overlooking something.

3. • CommentRowNumber3.
   • CommentAuthordomenico_fiorenza
   • CommentTimeMar 24th 2010
   • PermaLink
   Author: domenico_fiorenza
   Format: HtmlI'm wondering whether it's worth explicitly mentioning that the restriction <latex>\pi_0:Disc(\mathbf{H}_*)\to Disc(\mathbf{H}_*)</latex> is equivalent to the identity (this is the base for the inductive proof of the equivalence <latex>\mathbf{B}^nA\simeq K(A,n)</latex> )

   I'm wondering whether it's worth explicitly mentioning that the restriction is equivalent to the identity (this is the base for the inductive proof of the equivalence )
4. • CommentRowNumber4.
   • CommentAuthorHarry Gindi
   • CommentTimeMar 24th 2010
   • PermaLink
   Author: Harry Gindi
   Format: MarkdownI can't see a reason not to...

   I can't see a reason not to...

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeMar 24th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownSure. Shall I?

   Sure. Shall I?

6. • CommentRowNumber6.
   • CommentAuthordomenico_fiorenza
   • CommentTimeMar 24th 2010
   • PermaLink
   Author: domenico_fiorenza
   Format: Htmlok, I added it.

   ok, I added it.
7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeApr 16th 2014
   • (edited Apr 16th 2014)
   • PermaLink
   Author: Urs
   Format: MarkdownItexAdded to _[[Eilenberg-MacLane object]]_ (and to _[[Eilenberg-MacLane space]]_) a pointer to the recent * [[Dan Licata]], [[Eric Finster]], _Eilenberg-MacLane spaces in homotopy type theory_, LICS 2014 ([pdf text](http://dlicata.web.wesleyan.edu/pubs/lf14em/lf14em.pdf), [Agda HoTT code](https://github.com/dlicata335/hott-agda/blob/master/homotopy/KGn.agda), [web discussion](http://homotopytypetheory.org/2014/04/15/eilenberg-maclane-spaces-in-hott/))

   Added to Eilenberg-MacLane object (and to Eilenberg-MacLane space) a pointer to the recent

   • Dan Licata, Eric Finster, Eilenberg-MacLane spaces in homotopy type theory, LICS 2014 (pdf text, Agda HoTT code, web discussion)