-
Английский
-
Русский
-
Английский
-
Русский
Functor
UK
/ˈfʌŋktə/
US
/ˈfʌŋktər/
Перевод functor на русский язык
functor
Существительное
UK
/ˈfʌŋktə/
US
/ˈfʌŋktər/
In category theory, a functor is a type of mapping between categories.
В теории категорий функтор — это вид отображения между категориями.
Опеределения
functor
Существительное
UK
/ˈfʌŋktə/
US
/ˈfʌŋktər/
In mathematics, particularly in category theory, a functor is a type of mapping between categories that preserves the structure of the categories, such as the composition of morphisms and identity morphisms.
The functor maps objects and morphisms from one category to another, maintaining the categorical structure.
In computer science, a functor is an object or function that can be used to apply a function to a value or set of values, often used in functional programming.
In Haskell, a functor is a type class that allows for the application of a function over a wrapped value.
Идиомы и фразы
category functor
The category functor maps objects to objects.
функтор категории
Функтор категории отображает объекты в объекты.
covariant functor
A covariant functor preserves the structure of a category.
ковариантный функтор
Ковариантный функтор сохраняет структуру категории.
contravariant functor
The dual of a covariant functor is a contravariant functor.
контравариантный функтор
Двойственным к ковариантному функтору является контравариантный функтор.
identity functor
An identity functor maps each object to itself.
тождественный функтор
Тождественный функтор отображает каждый объект на самого себя.
forgetful functor
A forgetful functor forgets some structure on an object.
забывающий функтор
Забывающий функтор забывает некоторую структуру на объекте.
adjoint functor
An adjoint functor pairs with another functor to establish a relationship between categories.
адъюнктный функтор
Адъюнктный функтор парится с другим фунctor для установления связи между категориями.
subobject functor
The subobject functor maps objects to their corresponding subobjects.
функтор подобъектов
Функтор подобъектов отображает объекты в их соответствующие подобъекты.