Обсуждение:Теория топосов
Проект «Математика» (уровень IV)
Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Untitled[править код]
Немецкая, Английская и Русская вики хотя говорят примерно об одном и том же, дают совершенно разные версии того, что такое топос. Я как раз с этим разбираюсь, и хотел бы сформулировать некоторую популярную версию определения, которую можно поставить перед строгим математическим введением. Все-таки топос определяет логику высказываний теории, построенной над таким топосом, скажем, для создания нового математического аппарата в квантовой физике (Robert Matthews, New Scientist, Apr 2007). Или я не прав? Хочу убедиться что это так, прежде чем менять статью. Exceeder 03:56, 23 мая 2007 (UTC)
Насчет пучков[править код]
Пучки придумал не Гротендик, а Лере (сидя в концлагере, кстати). Гротендик активно юзал пучки, это да.
Это точно написано для читателей?..[править код]
Я имею в виду вот это:
Таким образом, для полноценной работы с категорией множеств, действительно отражающей понятие множества, необходимо определить дополнительные свойства, которым должна удовлетворять категория, чтобы быть похожей на множества.
Это вообще на нормальный язык как-то переводимо, нет?.. — Klemm1 (обс.) 09:58, 15 декабря 2020 (UTC)