Équivalence Catégorique

Une correspondance structurelle entre deux catégories affirmant qu’elles partagent le même contenu catégorique à la constate d’équivalences de foncteurs et d’isomorphismes naturels ; formellement donnée par une paire de foncteurs se composant en des objets naturellement isomorphes aux foncteurs identité respectifs.