Äquivalenz von Kategorien

Eine strukturelle Entsprechung zwischen zwei Kategorien, die behauptet, dass sie denselben kategorialen Gehalt bis auf invertierbare Funktoren und natürliche Isomorphismen besitzen; formal gegeben durch ein Paar von Funktoren, die zu Objekten zusammengesetzt werden, die natürlich isomorph zu den jeweiligen Identitätsfunktoren sind.