Kerodon

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

Comments on Theorem 4.6.3.8

Go back to the page of Theorem 4.6.3.8.

Comment #650 by Tim Holzschuh on

Typo in the proof: "... ..."

Comment #660 by Kerodon on

Yep. Thanks!

Comment #998 by Robin Carlier on

The sentence "Our assumption that is an isofibration guarantees that the lifting problem [...]" seems to be using the lifting property for isofibration of Proposition 4.5.6.1, which has only be proven under the assumption that is an isofibration between -category, which might not be the case in this proposition.

Comment #999 by Robin Carlier on

I just saw that this lifting property was the definition for isofibration of simplicial sets (def. 4.5.7.1), please delete my previous comment and this one. Sorry for the noise.

There are also:

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

Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 01KA. The letter 'O' is never used.