Эквивалентность Категорий
Расширение понятия изоморфизма категорий, обусловленное прежде всего наличием классов изоморфных объектов. Две категории и наз. эквивалентными, если существуют такие одноместные ковариантные функторы и что произведение FG естественно эквивалентно тождественному функтору а произведение GF -функтору другими словами, кате гории и эквивалентны, если существуют лпочти
Источник:
Математическая энциклопедия
на Gufo.me