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

Comments on Proposition

Go back to the page of Proposition

Comment #197 by Eye on

Typo: in the last sentence of the proof of (a), , , and need to be replaced by , , and , respectively.

Comment #208 by Kerodon on

Yep. Thanks!

Comment #373 by Kazuaki Miyatani on

Typo: Example should read Exercise

Comment #375 by Kerodon on

Yep. Thanks!

Comment #487 by Tim Holzschuh on

Type in the statement of : by the collection of ...

Comment #488 by Kerodon on

Yep. Thanks!

Comment #869 by Maxime on

I think in the proof of (b), if you want to write the coproduct as a transfinite composition, you have to change you by 's and dually (and similarly with strict comparisons)

Otherwise your goes from something indexed by to something indexed by , and so that would be a dual transfinite induction and you need a co-well ordering on Q.

Comment #870 by Kerodon on

Yep. Thanks!

There are also:

  • 12 comment(s) on Chapter 1: The Language of $\infty $-Categories

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