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

- расширение понятия изоморфизма категорий, обусловленное прежде всего наличием классов изоморфных объектов. Две категории [img: http://localhost:8080/file/053103-30.jpg] и [img: http://localhost:8080/file/053103-31.jpg] наз. эквивалентными, если существуют такие одноместные ковариантные функторы [img: http://localhost:8080/file/053103-32.jpg] и [img: http://localhost:8080/file/053103-33.jpg] что произведение FG естественно эквивалентно тождественному функтору [img: http://localhost:8080/file/053103-34.jpg] а произведение GF -функтору [img: http://localhost:8080/file/053103-35.jpg] другими словами, кате гории [img: http://localhost:8080/file/053103-36.jpg] и [img: http://localhost:8080/file/053103-37.jpg] эквивалентны, если существуют лпочти