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

Comments on Chapter 1

Go back to the page of Chapter 1.

Comment #19 by Dario Weißmann on

Typos: ' two important respects.' Maybe aspects? only only

Comment #25 by Kerodon on


Comment #29 by Laurent Moret-Bailly on

A complaint on the comment system: when you write a comment, the commented text disappears, and you have to move back and forth between the two pages. Pretty annoying.

Comment #30 by Daniel on

The singular simplicial set is a natural candidate for the sort of invariant requested in Question ...

Comment #31 by Daniel on

Condition requires the existence of an extension only only in the case , but demands that the extension is unique.

Comment #190 by Carles Sáez on

I'm not sure this is the appropriate place for this comment, but I cannot find any general comment section. I'm enjoying and learning a lot with this project and I wonder if there is some (prospective) table of contents for the whole project. If not, what is the expected scope? Is it expected to cover material on higher algebra, derived geometry, spectral algebraic geometry, ...?

Comment #201 by Kerodon on

We'll see. Baby steps.

Comment #278 by Marijn on

There is a typo: "if and only it it". First "it" should be "if".

Comment #279 by Kerodon on

Yep. Thanks!

Comment #284 by on

This is probably irrelevant: The 'about' page still says claims that kerodon would currently consist of two chapters only. Sorry for commenting here, but I don't think there's an option to comment at the 'about' page.

Comment #288 by Kerodon on

Good point; we'll fix this with the next update.

Comment #1488 by Daniel Gratzer on

This is a question/feature-request regarding the general project: as Kerodon grows, it might be helpful to have a change-log which is more detailed than the major revisions list. Particularly when earlier content is improved resulting in changes to existing material, rather than strict additions. For the stacks project one can see the list of commits ( so presumably gerbe supports this, but that might not make sense with Kerodon given that the repo is not public. Even a list of recently modified tags would be a pretty good solution, but I'm not sure if there's a way to do this which doesn't necessitate even more work.

Comment #2196 by Michael South on

Might I suggest a more ramped intro?

Move this to the first sentence: "∞-categories can be viewed as a simultaneous generalization of homotopy theory and category theory."

And (I believe this is true): "It is a form of algebraic topology, which studies topological spaces by means of algebraic and combinatorial invariants."

"For the following discussion, it assumed that the reader is already familiar with (homotopy theory, category theory, ...?)", ideally with links to internal or external discussions of those subjects.

And then the final paragram and diagram which are currently at the bottom.

In "simple examples", "path components" is noted as a term to be defined (in italics), but not actually defined.

Finally, the instructions for the bot-catcher is kind of confusing. Is "this tag" the "current tag" or do I look somewhere else for it? (Current kind of implies it changes, but 0001 looks hard-coded and unchanging.) What is "the name of the current tag" Is that the four-digit number, or "Comments on Chapter 1", or? I'm going to guess you're looking for 0001; if that's incorrect hopefully there will be some kind of error and it isn't just dropped on the floor.

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