en

Biequivalence

UK
/biːˈkwɪvələns/
US
/biˈkwɪvələns/
ru

Перевод слова "biequivalence" на Русский язык

biequivalence
Существительное
raiting
UK
/biːˈkwɪvələns/
US
/biˈkwɪvələns/
biequivalence
biequivalences множ.
биэквивалентность
The concept of biequivalence is important in category theory.
Понятие биэквивалентности важно в теории категорий.

Опеределения

biequivalence
Существительное
raiting
UK
/biːˈkwɪvələns/
US
/biˈkwɪvələns/
In category theory, a biequivalence is a pseudofunctor between bicategories that is essentially surjective on objects and an equivalence on each hom-category, thus giving a weak equivalence of bicategories.
The inclusion of strict 2-categories into bicategories is a biequivalence, since it is locally an equivalence and essentially surjective up to equivalence.