![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Боже, как я сразу не узнал?
Высшие ℧-модули, которые у меня вырисовываются в мемо про линейные типы из идеи про квантовые трансдьюсеры — это же просто геометрии Зарисского*. Как же я сразу не сообразил-то?.. Теперь я понимаю откуда у Зильбера квантовый гармонический осциллятор из теории моделей всплывает.
____
(* У геометрий вылезающих из теорий на первом уровне “type of generic points, i.e. equivalence classes of model elements modulo observational distinghishability”, на втором “type of generic point couples”, “type of generic point triples” и т.д., у таких геометрий автоматически есть отображение из подвешивания n-ного уровня в (n + 1)-ый, т.е. это спектры. Интенесно, образуют ли геометрии Зарисского AT-категорию? Было бы красиво.)
Высшие ℧-модули, которые у меня вырисовываются в мемо про линейные типы из идеи про квантовые трансдьюсеры — это же просто геометрии Зарисского*. Как же я сразу не сообразил-то?.. Теперь я понимаю откуда у Зильбера квантовый гармонический осциллятор из теории моделей всплывает.
____
(* У геометрий вылезающих из теорий на первом уровне “type of generic points, i.e. equivalence classes of model elements modulo observational distinghishability”, на втором “type of generic point couples”, “type of generic point triples” и т.д., у таких геометрий автоматически есть отображение из подвешивания n-ного уровня в (n + 1)-ый, т.е. это спектры. Интенесно, образуют ли геометрии Зарисского AT-категорию? Было бы красиво.)
