Двойственный (теория категорий)
Дуализм (теория категорий) В теории категорий двойственность соответствует соответствию между свойствами категории C и двойственными свойствами противоположной категории Cop. Двойственность […]
Дуализм (теория категорий) В теории категорий двойственность соответствует соответствию между свойствами категории C и двойственными свойствами противоположной категории Cop. Двойственность […]
Эквивалентность категорий Эквивалентность категорий сохраняет все «категориальные» понятия и свойства. Эквивалентность категорий может быть применена к эквалайзерам, продуктам и сопутствующим
Универсальное свойство Категория — это математическая структура, объединяющая объекты и морфизмы. Функтор — это отображение между категориями, сохраняющее структуру. Тензорная
Противоположная категория В теории категорий противоположная категория формируется путем изменения морфизмов. Повторное обращение приводит к получению исходной категории. Примеры включают
Раздел (теория категорий) Ретракция в теории категорий — это отображение, которое превращает эпиморфизм в изоморфизм. Сечение также является эпиморфизмом и
Элемент (теория категорий) Язык точек используется в теории категорий для описания морфизмов и объектов. Морфизмы могут быть переформулированы в терминах
Коммутативная схема Диаграммы используются в математике для визуализации отношений между объектами и отображениями. Диаграммы могут быть коммутативными или не коммутативными,
Лифт (математика) В теории категорий подъем морфизма f к Z определяется как морфизм h: X → Z, такой что f
Категория (математика) Категория — это множество объектов с морфизмами, связывающими объекты. Морфизмы могут быть мономорфизмами, эпиморфизмами, биморфизмами, опровержениями и разделами.
Теория категорий Теория категорий — фундаментальная область математики, изучающая математические структуры и отношения между ними. Категории являются абстрактными объектами, которые
Абстрактная чепуха Математики используют термины «абстрактная бессмыслица», «общая абстрактная бессмыслица», «обобщенная абстрактная бессмыслица» и «общая бессмыслица» для описания длинных теоретических