Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
In the process of expaning on n-truncated object in an (infinity,1)-topos I added some remarks along these lines to the beginning of homotopy n-type, thereby rewriting the first few sentences.
am hereby moving the following old query box discussion from homotopy n-type to here:
[ begin forwarded discussion ]
+-- {: .query} Tim: When teaching homotopy theory I found blank looks from students if I used this idea as motivation as they felt it was too vague. I also do not like the idea of an $n$-type being a space as it does not allow one to say that two spaces 'have the same $n$-type.'
Toby: If you can explain the motivation that works here, then please do! But this doesn\'t say that a type is a kind of space, it says that it\'s a space 'up to ...', so two spaces have the same type if they\'re the same 'up to ...'. (In other words, we have a surjection Spaces → Types rather than an injection Types → Spaces, at least for purposes of motivation since of course both do exist).
Tim:As you sort of suggest, the problem is in the exact choice of words! At present you actually do say it is a space, at least as I read it, and that is my problem with the wording. Liberal use of inverted commas is not a good way around the difficulty. I will bounce a form of words past you to see how you like it first.
'In talking of a homotopy n-type, we are thinking of a space, or spaces, where the properties being considered are given by the homotopy groups $\pi_1$ up to $\pi_n$, so information recorded by the even higher homotopy groups is ignored.'
How about something along those lines?
Another question is how long should this entry on homotopy n-type be? I put in something on simplicial groups as an illustration, which I think you removed, but that section now reads strangely as after the first line (which mentions them) there does not seem to be any mention after that! As you and I seem, de facto, to be the main contributors on this entry (not exclusively) perhaps some discussion of the overall structure might be an idea.
Mike: The really precise way to say it is, of course, that a homotopy $n$-type is an object of the homotopy category (or $\infty$-category) of spaces where we invert the $n$-equivalences. This is analogous to defining a real number to be an equivalence class of Cauchy sequences of rationals; two spaces 'have the same $n$-type' in the same sense that two Cauchy sequences of rationals 'define (or converge to) the same real number'. Perhaps it would be useful to say this?
Toby: My only use of quotation marks was to provide direct quotations; of course we don\'t need scare quotes in the text. You are all saying fine things, so I will be bold and incorporate them now. (In the end, I tightened up the prose a bit, but change it if you don\'t like it.)
I didn\'t mean to remove anything about simplicial groups, just to generalise. But I specified how to interpret it for simplicial groups in the algebraic models below. But maybe none of that really depends on using simplicial groups? What you had before didn\'t read to me as an example so much as a prerequisite for the remainder to be correct.
Mike: I moved the discussion on nice spaces to nice topological space, and merged the two sections "Idea" and "Motivation" since I was confused about the distinction between them. =--
[ end forwarded discussion ]
Some comments that are not on your revision, Urs, but on the wording etc. of the entry as it stands:
(i) I am always a bit worried by an entry which has the phrase ’ the most important invariants’. That always seems to me to be dangerous. They are certainly very important, but definitive value judgements of this sort do worry me.
(ii) I mention also the concern that the ideas section has two related notions of homotopy n-type in it, although it is handled in the discussion further down the page.
I will adapt the entry very slightly hopefully to get around these worries.
added pointer to:
and am copying the HoTT references here also over to n-truncated object of an (infinity,1)-category
1 to 5 of 5