|
|
Пишет maniga (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} maniga) |
симплициальные
ну потому что морфизмы какие надо.
если у тебя были свободные переменные x_1, ..., x_n и ты приписал кванторы существования для x_1, x_2, например, это задаёт морфизм R^n -> R^{n-1}, соответствующий вложению {3, ..., n} -> {1, ..., n}
ну потому что морфизмы какие надо.
если у тебя были свободные переменные x_1, ..., x_n и ты приписал кванторы существования для x_1, x_2, например, это задаёт морфизм R^n -> R^{n-1}, соответствующий вложению {3, ..., n} -> {1, ..., n}
Добавить комментарий:
