Откат (теория категорий)
Откат (теория категорий) Откат — это операция, обратная отображению. В категории множеств откат является отображением, обратным отображению. Откаты могут быть […]
Вики
Вики
Ядро (теория категорий)
Ядро (теория категорий) Ядро морфизма в теории категорий — это тип двоичного эквалайзера или разностного ядра. Морфизм k всегда является
Вики
Эквалайзер (математика)
Эквалайзер (математика) Уравнитель в математике — набор аргументов, в которых две или более функции имеют одинаковые значения. Эквалайзер — набор
Вики
Товар (теория категорий)
Продукт (теория категорий) Категория — это математическая структура, объединяющая объекты и морфизмы. Продукт в категории — это операция, которая объединяет
Вики
Начальные и конечные объекты
Начальные и конечные объекты Начальные и конечные объекты являются важными понятиями в теории категорий. Категория может иметь или не иметь
Вики
Ваше расширение
Расширение Kan Расширения Kan — это обобщение ко- и левосопряженных функторов. Они позволяют вычислять правые расширения вдоль функтора и имеют
Вики
Экспоненциальный объект
Экспоненциальный объект Экспоненциальный объект в категории — это объект, который имеет все бинарные продукты с другим объектом. Экспоненциальный объект определяется
Вики
Конец (теория категорий)
Конец (теория категорий) Функтор — это отображение между категориями, которое сохраняет структуру и имеет обратный функтор. Коэнда функтора — это
Вики
Категория преаддитивов
Предварительная дополнительная категория Предаддитивные категории обобщают кольца и являются обобщением моноидов. Аддитивные функторы между предаддитивными категориями являются обобщением кольцевых гомоморфизмов.
Вики
Доабелева категория
Доабелева категория Доабелева категория — категория, в которой существуют ядра и коядра. Ядра и коядра являются особыми видами эквалайзеров и
Вики
Категория бетона
Конкретная категория Категория — это множество объектов с набором морфизмов между ними. Конкретизация категории — это представление ее объектов и
Вики
Категория присадок
Категория добавок Аддитивная категория — категория, обогащенная по сравнению с моноидальной категорией. Категория C является предаддитивной, если все ее гомомножества
Вики
Абелева категория
Абелева категория Абелевы категории — это категории, в которых все объекты имеют конечные копроизведения. Абелевы категории играют важную роль в
Вики
Математическое образование
Математическое образование Математическое образование имеет долгую историю и развивается в соответствии с социальными и культурными изменениями. Стандарты математического образования меняются
Вики
Математика и искусство
Математика и искусство Симметрия играет важную роль в искусстве, начиная с древних времен и до наших дней. Симметрия может быть
Вики
Рекреационная математика
Развлекательная математика Рекреационная математика — математика, изучаемая для отдыха и развлечения, а не как строго исследовательская и прикладная деятельность. Развлекательная
Вики
Неформальная математика
Неформальная математика Неформальная математика, известная как наивная математика, была преобладающей формой математики в большинстве времен и культур. Философ Имре Лакатос
Вики
Компьютерная алгебра
Компьютерная алгебра Компьютерная алгебра — область математики, использующая компьютеры для манипулирования математическими выражениями. Основные проблемы включают ассоциативность, коммутативность и дистрибутивность
Вики
Математическая оптимизация
Математическая оптимизация Математическая оптимизация — это процесс нахождения оптимального решения для задач, которые могут быть выражены в виде математических моделей.
Вики
Численный анализ
Численный анализ Численный анализ — раздел математики, связанный с решением математических задач с помощью численных методов. Численные методы используются для