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 reply to a question that I received, I expanded the entry (infinity,1)-functor in various directions.
Lurie preferes description coherent homotopy functor to strongly homotopy functor
What I wrote was in reply to a question by somebody who I knew would be helped most by knowing that this is precisely what back then was called strong homotopy suchandsuch . (That’s because that person invented that term ;-)
You have to keep everybody happy :)
I fixed some typos in the diagrams (please check I have not mucked them up, :-)). The enumeration seems to be fault, and I always find that hard to fix so I leave it to someone else!
Thanks. I see that you fixed the orientation of two arrows. Thanks! Not sure what you mean by the faulty enumeration, though.
In ∞-Pseudo-functors / homotopy presheaves, the numbering goes 1,1,2,3. :)
the numbering goes 1,1,2,3.
Ah, that’s automatic numbering! :-)
Instiki got mixed up due to a missing space in one line. I inserted the space, now Instiki counts correctly.
That was what I remembered had happened to me several times, but I could not remember the solution so thought I would point it out.
The solution is this:
when you code a bullet list
* first item
* second item
or a numbered list
1. first item
1. second item
Then you need to make sure that the indenting is strictly adhered to: as soon as a line end by a “carriage return” (instead of wrapping around itself) and the new line does not start at the former indention, the software will coclude that the list has ended. That means it will itself change the indention of the output back to usual and will number the following numbered list item with 1.
It is particularly easy to fall in this trap if you start writing a bullet list and half-way through change your mind and make it a numbered list. Because the bullet and one space make an indention of 2. But the digit “1” and the dot after it and a space ofter that make for 3.
So it often happens to me – and did happen in the case you caught here – that my indention gets mixed up because I change my mind about whether doing bullet lists or enumerated lists.
I guess one way to avoid that would be to get in the habit of putting two spaces after the bullets when making a bullet list. Then if you change it to a numbered list the spacing on subsequent paragraphs wouldn’t need to be adjusted.
1 to 11 of 11