en

Biequivalence

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

Translation of "biequivalence" into Russian

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

Definitions

biequivalence
Noun
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.