-
English
-
Russian
-
German
-
English
-
Russian
-
German
Functor
UK
/ˈfʌŋktə/
US
/ˈfʌŋktər/
Translation of "functor" into Russian
functor
Noun
UK
/ˈfʌŋktə/
US
/ˈfʌŋktər/
functor
functors pl
In category theory, a functor is a type of mapping between categories.
В теории категорий функтор — это вид отображения между категориями.
Definitions
functor
Noun
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.
In formal logic and Prolog-style programming languages, a symbol that names a compound term and indicates its arity.
In Prolog, the functor "likes/2" takes two arguments.
In linguistics, a function word that has little lexical meaning but serves to express grammatical relationships between other words.
Prepositions and conjunctions are often classified as functors because they mainly mark grammatical structure.
functor
Adjective
UK
/ˈfʌŋktə/
US
/ˈfʌŋktər/
Relating to or characteristic of a functor.
Functor composition is essential to category theory.
Idioms and phrases
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.
функтор подобъектов
Функтор подобъектов отображает объекты в их соответствующие подобъекты.