- auxiliary functor
- мат. вспомогательный функтор
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Function object — A function object, also called a functor or functional, is a computer programming construct allowing an object to be invoked or called as if it were an ordinary function, usually with the same syntax.Function objects are unrelated to functors in… … Wikipedia
Monad (functional programming) — In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the… … Wikipedia
Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… … Wikipedia
Topological quantum field theory — A topological quantum field theory (or topological field theory or TQFT) is a quantum field theory which computes topological invariants.Although TQFTs were invented by physicists (notably Edward Witten), they are primarily of mathematical… … Wikipedia
K-theory — In mathematics, K theory is a tool used in several disciplines. In algebraic topology, it is an extraordinary cohomology theory known as topological K theory. In algebra and algebraic geometry, it is referred to as algebraic K theory. It also has … Wikipedia
Spectral sequence — In the area of mathematics known as homological algebra, especially in algebraic topology and group cohomology, a spectral sequence is a means of computing homology groups by taking successive approximations. Spectral sequences are a… … Wikipedia
Pseudoelementary class — In logic, a pseudoelementary class is a class of structures derived from an elementary class (one definable in first order logic) by omitting some of its sorts and relations. It is the mathematical logic counterpart of the notion in category… … Wikipedia
Syntax — Syntactic redirects here. For another meaning of the adjective, see Syntaxis. For other uses, see Syntax (disambiguation). Linguistics … Wikipedia
Karoubi envelope — In mathematics the Karoubi envelope (or Cauchy completion, but that term has other meanings) of a category C is a classification of the idempotents of C, by means of an auxiliary category. It is named for the French mathematician Max… … Wikipedia
Transfer operator — The transfer operator is different from the transfer homomorphism. In mathematics, the transfer operator encodes information about an iterated map and is frequently used to study the behavior of dynamical systems, statistical mechanics, quantum… … Wikipedia