ЭКВИВАЛЕНТНОСТЬ КАТЕГОРИЙ


ЭКВИВАЛЕНТНОСТЬ КАТЕГОРИЙ

- расширение понятия изоморфизма категорий, обусловленное прежде всего наличием классов изоморфных объектов. Две категории и наз. эквивалентными, если существуют такие одноместные ковариантные функторы и что произведение FG естественно эквивалентно тождественному функтору а произведение GF -функтору другими словами, кате гории и эквивалентны, если существуют лпочти


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ЭКВИВАЛЕНТНОСТЬ КАТЕГОРИЙ" в других словарях:

  • МОРИТЫ ЭКВИВАЛЕНТНОСТЬ — отношение эквивалентности на классе всех колец, определяемое следующим образом: кольца Rи Sназ. Морита эквивалентными, если категории левых (правых) В и S модулей эквивалентны. Важнейший пример М. э. колец: кольцо Rи кольцо всех матриц над ним.… …   Математическая энциклопедия

  • Схема (математика) — В алгебраической геометрии схема  это абстракция, позволяющая связать единым образом коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести… …   Википедия

  • Сопряжённые функторы — в математике и в частности в теорий категорий  это пара функторов, состоящих в определённом соотношении между собой. Сопряжённые функторы часто встречаются в разных областях математики. Неформально функторы F и G сопряжены, если они… …   Википедия

  • классификация — 3.14 классификация (classification): Схема, в соответствии с которой информация подразделяется на категории с целью применения соответствующих защитных мер против этих категорий. Примечание Соответствующие защитные меры применяют для следующих… …   Словарь-справочник терминов нормативно-технической документации

  • ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П …   Философская энциклопедия

  • Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …   Википедия

  • АРАБСКАЯ ФИЛОСОФИЯ. ХАРАКТЕРНЫЕ ЧЕРТЫ — Классическую арабскую философию отличает полемический дух. Великими спорщиками были первые мутакаллимы (от араб. мутакаллимн говорящие ) мутазилиты (от араб. му тазила обособившиеся ). Этот этап развития калама (от араб. калм речь , не смешивать… …   Энциклопедия Кольера

  • МЕРА —         филос. категория, выражающая диалектич. единство качеств, и количеств. характеристик объекта. Качество любого объекта органически связано с оп редел. количеством. В рамках данной М. количеств. характеристики могут меняться за счёт… …   Философская энциклопедия

  • ЛЕСЬНЕВСКИЙ — (Leśniewski), Станислав (18 марта 1886 – 13 мая 1939) – польский логик, проф. Варшавского ун та (с 1919). Большое внимание Л. уделял вопросам, связанным с логич. парадоксами. Разработанная им теория семантич. категорий близка к типов теории… …   Философская энциклопедия

  • Арифметика — Ганс Себальд Бехам. Арифметика. XVI век Арифметика (др. греч. ἀ …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.