Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Go back to the page of Section 4.5.

Comment #447 by Haoqing on

1. Maybe you mean a morhpism instead of an object in "Phrased differently, a functor F is an equivalence of ∞-categories if it is an isomorphism when viewed as an object of the category $\mathrm{h} \mathit{\operatorname{Cat}_{\infty }}$".
2. Something missing in the sentence "In §4.5.5, we study an important class of categorical equivalences the theory of joins developed in §4.3."
3. In the (-2)-paragraph, "to employ to use" in "To carry out the proof, it will be useful to employ to use the language of categorical pushout diagrams, which we explain in §4.5.3."

Comment #449 by Kerodon on

Yep. Thanks!

Comment #603 by Tim Holzschuh on

Typo in the third paragraph:

• "However, we will encounter many other examples of categorical equivalences between simplicial sets ..."

Typo in the fourth paragraph:

• "Moreover, it suffices (to check) this condition in the special case $K = \Delta^1$ ...": something is missing here.

Typo's in the last paragraph:

• "... is inner anodyne (Proposition 4.1.3.1). In ...": there is a "." missing.
• "... is an isofibration if and only if the following stronger condition (holds):": something is missing here

Comment #616 by Kerodon on

Yep. Thanks!

There are also:

• 2 comment(s) on Chapter 4: The Homotopy Theory of $\infty$-Categories

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).