- расширение понятия изоморфизма категорий, обусловленное прежде всего наличием классов изоморфных объектов. Две категории 
и 
наз. эквивалентными, если существуют такие одноместные ковариантные функторы 
и 
что произведение FG естественно эквивалентно тождественному функтору 
а произведение GF -функтору 
другими словами, кате гории 
и 
эквивалентны, если существуют лпочти
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
МОРИТЫ ЭКВИВАЛЕНТНОСТЬ — отношение эквивалентности на классе всех колец, определяемое следующим образом: кольца Rи Sназ. Морита эквивалентными, если категории левых (правых) В и S модулей эквивалентны. Важнейший пример М. э. колец: кольцо Rи кольцо всех матриц над ним.… … Математическая энциклопедия
Схема (математика) — В алгебраической геометрии схема это абстракция, позволяющая связать единым образом коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести… … Википедия
Сопряжённые функторы — в математике и в частности в теорий категорий это пара функторов, состоящих в определённом соотношении между собой. Сопряжённые функторы часто встречаются в разных областях математики. Неформально функторы F и G сопряжены, если они… … Википедия
классификация — 3.14 классификация (classification): Схема, в соответствии с которой информация подразделяется на категории с целью применения соответствующих защитных мер против этих категорий. Примечание Соответствующие защитные меры применяют для следующих… … Словарь-справочник терминов нормативно-технической документации
ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П … Философская энциклопедия
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
АРАБСКАЯ ФИЛОСОФИЯ. ХАРАКТЕРНЫЕ ЧЕРТЫ — Классическую арабскую философию отличает полемический дух. Великими спорщиками были первые мутакаллимы (от араб. мутакаллимн говорящие ) мутазилиты (от араб. му тазила обособившиеся ). Этот этап развития калама (от араб. калм речь , не смешивать… … Энциклопедия Кольера
МЕРА — филос. категория, выражающая диалектич. единство качеств, и количеств. характеристик объекта. Качество любого объекта органически связано с оп редел. количеством. В рамках данной М. количеств. характеристики могут меняться за счёт… … Философская энциклопедия
ЛЕСЬНЕВСКИЙ — (Leśniewski), Станислав (18 марта 1886 – 13 мая 1939) – польский логик, проф. Варшавского ун та (с 1919). Большое внимание Л. уделял вопросам, связанным с логич. парадоксами. Разработанная им теория семантич. категорий близка к типов теории… … Философская энциклопедия
Арифметика — Ганс Себальд Бехам. Арифметика. XVI век Арифметика (др. греч. ἀ … Википедия
