Kerodon

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

Comments on Corollary 2.3.2.8

Go back to the page of Corollary 2.3.2.8.

Comment #342 by Claudius on

In the last paragraph it says: "It follows that is an isomorphism". This should probably be "It follows that is thin".

Comment #343 by Claudius on

Again, sorry for posting on the same tag twice.

I suspect that the argumentation in the last paragraph (of the proof) is misleading. The problem I have is that a strictly unitary lax functor need not preserve isomorphisms. So then need not be an isomorphism even if is; but then is not thin. However, this gets cleared up once we assume that all 's are isomorphisms.

Comment #344 by Claudius on

I am terribly sorry for the mess I have made. I take back my last comment. I somehow confused for a 1-morphism (and even then my argument would not hold). :(

There are also:

  • 4 comment(s) on Chapter 2: Examples of $\infty $-Categories
  • 2 comment(s) on Subsection 2.3.2: From $2$-Categories to $\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 00AJ. The letter 'O' is never used.