Kerodon

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

Comments on Proposition 3.2.1.15

Go back to the page of Proposition 3.2.1.15.

Comment #1022 by Elizabeth Goldfinch on

The horn inclusion in the final diagram is invisible.

Comment #1029 by Kerodon on

Yep. Thanks!

Comment #1031 by Elizabeth Goldfinch on

In the fourth sentence of the proof, "denote the image fo" should read "denote the image of"

Comment #1032 by Elizabeth Goldfinch on

Also, the final sentence of the proof seems to be incomplete. Probably it should say something like "It follows that the lifting problem [diagram] admits a solution which...".

Comment #1033 by Kerodon on

Yep. Thanks!

Comment #1165 by Claudius Heyer on

Typo: After the depicted 2-simplex in the proof, “” should read “”.

Comment #2160 by Focus on

"Let denote the image of " seems to be "Let denote the image of "

Comment #2177 by Kerodon on

Yep. Thanks!

There are also:

  • 5 comment(s) on Chapter 3: Kan Complexes
  • 2 comment(s) on Subsection 3.2.1: Pointed Kan Complexes

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 02LD. The letter 'O' is never used.