
Groupoid
UK
/ˈɡruːpɔɪd/
US
/ˈɡruːpɔɪd/

Перевод groupoid на русский язык
groupoid
СуществительноеUK
/ˈɡruːpɔɪd/
US
/ˈɡruːpɔɪd/
A groupoid is a category where every morphism is an isomorphism.
Группоид — это категория, в которой каждый морфизм является изоморфизмом.
Опеределения
groupoid
СуществительноеUK
/ˈɡruːpɔɪd/
US
/ˈɡruːpɔɪd/
A set with a binary operation that is not necessarily associative or has an identity element.
In abstract algebra, a groupoid is a generalization of a group that may not have all the properties of a group.
A category in which every morphism is an isomorphism.
In category theory, a groupoid is a category where every arrow has an inverse.
Идиомы и фразы
finite groupoid
A finite groupoid consists of a set equipped with a partially defined binary operation.
конечный групоид
Конечный групоид состоит из множества с частично определённой бинарной операцией.
topological groupoid
The fundamental groupoid of a space is an example of a topological groupoid.
топологический групоид
Фундаментальный групоид пространства является примером топологического групоида.
groupoid morphism
A groupoid morphism preserves the structure between two groupoids.
морфизм групоида
Морфизм групоида сохраняет структуру между двумя групоидами.
lie groupoid
A Lie groupoid is an important concept in differential geometry.
групоид Ли
Групоид Ли является важным понятием в дифференциальной геометрии.
internal groupoid
An internal groupoid is defined in any category with pullbacks.
внутренний групоид
Внутренний групоид определяется в любой категории с пуллбэками (произвольными обратными образами).