Математическая энциклопедия - эквивалентность категорий

расширение понятия изоморфизма категорий, обусловленное прежде всего наличием классов изоморфных объектов. Две категории и наз. эквивалентными, если существуют такие одноместные ковариантные функторы и что произведение FG естественно эквивалентно тождественному функтору а произведение GF -функтору другими словами, кате гории и эквивалентны, если существуют лпочти

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985