# Kerodon

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

Go back to the page of Subsection 4.4.2.

Comment #1099 by Daniel Gratzer on

I believe there is a typo in the proof of 4.4.2.4. The type of $\theta$ should be $\mathsf{Fun}(B,X) \to \mathsf{Fun}(A,X) \times_{\mathsf{Fun}(A,S)} \mathsf{Fun}(B,S)$ rather than $\mathsf{Fun}(B,X) \to \mathsf{Fun}(A,X) \times_{\mathsf{Fun}(A,S)} \mathsf{Fun}(B,X)$.

Comment #1105 by Kerodon on

Yep. Thanks!

Comment #1375 by Nick on

In the last line of Proposition 4.4.2.13, I believe "is equal to $u$" should be replaced by "is an isomorphism"?

There are also:

• 2 comment(s) on Chapter 4: The Homotopy Theory of $\infty$-Categories
• 2 comment(s) on Section 4.4: Isomorphisms and Isofibrations

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