- natural isomorphism
- мат. естественный изоморфизм
Большой англо-русский и русско-английский словарь. 2001.
natural isomorphism
Смотреть что такое "natural isomorphism" в других словарях:
Natural transformation — This article is about natural transformations in category theory. For the natural competence of bacteria to take up foreign DNA, see Transformation (genetics). In category theory, a branch of mathematics, a natural transformation provides a way… … Wikipedia
Natural number — Natural numbers can be used for counting (one apple, two apples, three apples, ...) from top to bottom. In mathematics, the natural numbers are the ordinary whole numbers used for counting ( there are 6 coins on the table ) and ordering ( this is … Wikipedia
Isomorphism-closed subcategory — A subcategory mathcal{A} of a category mathcal{B} is said to be isomorphism closed or replete if every mathcal{B} isomorphism h:A o B with Ainmathcal{A} belongs to mathcal{A}. This implies that both B and h^{ 1}:B o A belong to mathcal{A} as well … Wikipedia
Natural logarithm — Base e redirects here. For the numbering system which uses e as its base, see Non integer representation#Base e. Graph of the natural logarithm function. The function slowly grows to positive infinity as x increases and rapidly goes to negative… … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Natural number object — In category theory, a natural number object (NNO) is an object endowed with a recursive structure similar to natural numbers. More precisely, in a category E with a terminal object 1 (alternately, a topos), an NNO N is given by: a global element… … Wikipedia
Myhill isomorphism theorem — For the Goodman–Myhill theorem in constructive set theory, see Diaconescu s theorem. In computability theory the Myhill isomorphism theorem, named after John Myhill, provides a characterization for two numberings to induce the same notion of… … Wikipedia
Group isomorphism — In abstract algebra, a group isomorphism is a function between two groups that sets up a one to one correspondence between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two… … Wikipedia
Limit (category theory) — In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint… … 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
Clifford algebra — In mathematics, Clifford algebras are a type of associative algebra. They can be thought of as one of the possible generalizations of the complex numbers and quaternions.[1][2] The theory of Clifford algebras is intimately connected with the… … Wikipedia
