Декартов моноид
-
Определение Декартова моноида
- Декартов моноид — это моноид с операторами сопряжения и проекции.
- Дана Скотт и Йоахим Ламбек независимо сформулировали его.
-
Структура Декартова моноида
- Имеет сигнатуру с бинарными операторами, константами и аксиомами.
- Операторы L и R являются проекциями, а константа e — единицей.
-
Интерпретация операторов
- L и R — функции проекции для сопряжения (−,−).
-
Рекомендации
- Статья не содержит конкретных рекомендаций.
Полный текст статьи:
Декартов моноид — Википедия
Похожие статьи:
- Свободный моноид Свободный моноид Свободный моноид — это моноид, состоящий из всех слов над алфавитом, с операцией объединения...
- Пластиковый моноид Моноид плаценты Определение и свойства моноида plactic Моноид plactic — это моноид с упорядоченным алфавитом, основанный...
- Представление моноида Представление моноида Определение моноида Моноид — это множество с бинарной операцией, удовлетворяющей трем аксиомам. Примеры моноидов...
- Косая проекция Наклонная проекция Основы проекций Проекция — это преобразование трехмерного объекта в двумерный вид. Существуют различные типы...
- Синтаксический моноид Синтаксический моноид Определение и свойства синтаксической конгруэнтности Синтаксическая конгруэнтность — это отношение эквивалентности между словами в...
- История моноида Моноид истории Определение и свойства моноида истории Моноид истории — это структура, которая описывает историю выполнения...
- Плоская проекция Плоская проекция Основы проекций в графике Плоские проекции — это трехмерные изображения, преобразованные в двумерные плоскости. ...
- Функция сопряжения Функция сопряжения Функция сопряжения Кантора используется для определения пар натуральных чисел, связанных квадратичным многочленом. Функция сопряжения...
- C-симметрия С-симметрия Основы теории зарядового сопряжения Зарядовое сопряжение — это преобразование, которое меняет знак электрического заряда частицы. ...
- Ортографическая проекция Ортогональная проекция Ортогональная проекция представляет трехмерные объекты в двух измерениях, используя параллельные линии проекции. Лицевая сторона...
- Декартов круг Декартов круг Картезианский круг и его критика Картезианский круг — это ошибочное круговое рассуждение, приписываемое Рене...
- Моноид Моноид Моноид — алгебраическая структура с бинарной операцией и тождественным элементом. Моноиды играют важную роль в...
- Абстрактная интерпретация Абстрактная интерпретация Абстрактная интерпретация — теория аппроксимации семантики компьютерных программ. Абстрактная интерпретация используется для формального статического...
- Конформная картографическая проекция Конформная картографическая проекция Определение и свойства конформной картографической проекции Конформная проекция сохраняет углы между кривыми на...
- Алгебра вершинных операторов Алгебра вершинных операторов Определение и свойства вершинных алгебр Вершинная алгебра — это векторное пространство с операторами,...
- Частотная вероятность Частотная вероятность Частотная вероятность и ее применение Частотная вероятность — это интерпретация вероятности, которая определяет вероятность...
- Декартово произведение Декартово произведение Декартово произведение двух множеств представляет собой множество всех упорядоченных пар элементов из этих множеств. ...
- Нормальный порядок Обычный порядок Определение нормального упорядочения Нормальное упорядочение — это способ упорядочения квантовых операторов, при котором операторы...
- Детерминированный конечный автомат Детерминированный конечный автомат Определение и свойства детерминированных конечных автоматов (DFA) DFA — это конечный автомат с...
- 3D-проекция 3D-проекция 3D-проекция — метод отображения трехмерного объекта на двумерной поверхности. 3D-проекции основаны на визуальной перспективе и...
- Параллельная проекция Параллельная проекция Параллельная проекция — это проекция объекта на плоскость, где лучи параллельны друг другу. Параллельная...
- Проекция (математика) Проекция (математика) Проекция в математике — это идемпотентное отображение множества в подмножество или подструктуру. Ограничение на...