- continuation of isomorphism
- мат. продолжение изоморфизма
Большой англо-русский и русско-английский словарь. 2001.
continuation of isomorphism
Смотреть что такое "continuation of isomorphism" в других словарях:
Continuation map — In differential topology, given a family of Morse Smale functions on a smooth manifold X parameterized by a closed interval I, one can construct a Morse Smale vector field on X × I whose critical points occur only on the boundary. The Morse… … Wikipedia
Continuation-passing style — In functional programming, continuation passing style (CPS) is a style of programming in which control is passed explicitly in the form of a continuation. Gerald Jay Sussman and Guy L. Steele, Jr. coined the phrase in AI Memo 349 (1975), which… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… … Wikipedia
Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… … Wikipedia
Category theory — In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… … Wikipedia
Fourier transform — Fourier transforms Continuous Fourier transform Fourier series Discrete Fourier transform Discrete time Fourier transform Related transforms The Fourier transform is a mathematical operation that decomposes a function into its constituent… … Wikipedia
Von Neumann algebra — In mathematics, a von Neumann algebra or W* algebra is a * algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. They were originally introduced by John von Neumann,… … Wikipedia
KABBALAH — This entry is arranged according to the following outline: introduction general notes terms used for kabbalah the historical development of the kabbalah the early beginnings of mysticism and esotericism apocalyptic esotericism and merkabah… … Encyclopedia of Judaism
Hodge dual — In mathematics, the Hodge star operator or Hodge dual is a significant linear map introduced in general by W. V. D. Hodge. It is defined on the exterior algebra of a finite dimensional oriented inner product space. Contents 1 Dimensions and… … Wikipedia
Crystalline cohomology — In mathematics, crystalline cohomology is a Weil cohomology theory for schemes introduced by Alexander Grothendieck (1966, 1968) and developed by Pierre Berthelot (1974). Its values are modules over rings of Witt vectors over the base… … Wikipedia
