Ну нам не нужны схемы в большой общности чтобы разобраться с гладкими кривым. Хватит малого. Хотя я вот был потрясен возможностью изложить гомотопическую топологию пространств через бесконечное симметрическое произведение (теорема тома-дольда). Интересно как это пропихнуть в более общую гомотопическую алгебру, где бывает мало точек. Наверно можно.

(Reply to this) (Parent)