Эквивалентность Категорий

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