Гомоморфная эквивалентность - Homomorphic equivalence

эта статья нужны дополнительные цитаты для проверка. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удален. Найдите источники: «Гомоморфная эквивалентность»  – Новости  · газеты  · книги  · ученый  · JSTOR (Август 2016 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

в математика из теория графов, два графика, грамм и ЧАС, называются гомоморфно эквивалентный если существует гомоморфизм графов ${ displaystyle f двоеточие G to H}$ и гомоморфизм графов ${ Displaystyle g двоеточие от H до G}$. Пример использования этого понятия: любые два ядра графа гомоморфно эквивалентны.

Гомоморфная эквивалентность возникает также в теории базы данных. Учитывая схема базы данных, два экземпляры I и J на ​​нем называются гомоморфно эквивалентными, если существует экземплярный гомоморфизм ${ displaystyle f двоеточие от I до J}$ и гомоморфизм экземпляра ${ displaystyle g двоеточие J to I}$.

Фактически для любого категория C, можно определить гомоморфную эквивалентность. Используется в теории доступные категории, где «слабая универсальность» - лучшее, на что можно надеяться с точки зрения классов инъективности; видеть ^[1]

Рекомендации