| |||
|
|
> DAG придумали Тоен и Веццози (лет за пять до). Угу, не он один. > торжество журналистики над математикой. > Ладно бы хоть литературы... А почему Лури не дотягивает до литературы? Я читал начало его HTT, и немного Higher Algebra. Хорошая expository work. Что там original research, я просто не знаю, т.к. для меня Лури это первичный источник. Добавить комментарий: |
||||