==Examples==* Consider the category formula_1 having a single object formula_2 and a single morphism formula_3, and the category formula_4 with two objects formula_5, formula_6 and four morphisms: two identity morphisms formula_7, formula_8 and two isomorphisms formula_9 and formula_10.
* Между категорией formula_1 из одного объекта formula_2 и одного морфизма formula_3 и категорией formula_4 из двух объектов formula_5, formula_6 и четырёх морфизмов: двух тождественных formula_7, formula_8 и двух изоморфизма formula_9, formula_10 можно установить эквивалентность, например взять formula_11, отправляющий formula_2 в formula_5 и formula_14, отправляющий всё formula_4 в formula_2.