- split epimorphism
- мат. расщепляемый эпиморфизм
Большой англо-русский и русско-английский словарь. 2001.
split epimorphism
Смотреть что такое "split epimorphism" в других словарях:
Epimorphism — In category theory an epimorphism (also called an epic morphism or an epi) is a morphism f : X rarr; Y which is right cancellative in the following sense: : g 1 o f = g 2 o f implies g 1 = g 2 for all morphisms g 1, g 2 : Y rarr; Z .Epimorphisms… … Wikipedia
Morphism — In mathematics, a morphism is an abstraction derived from structure preserving mappings between two mathematical structures. The notion of morphism recurs in much of contemporary mathematics. In set theory, morphisms are functions; in linear… … Wikipedia
Depth of noncommutative subrings — In ring theory and Frobenius algebra extensions, fields of mathematics, there is a notion of depth two subring or depth of a Frobenius extension. The notion of depth two is important in a certain noncommutative Galois theory, which generates Hopf … Wikipedia
Section (category theory) — In category theory, a branch of mathematics, a section (or coretraction) is a right inverse of a morphism. Dually, a retraction (or retract) is a left inverse. In other words, if and are morphisms whose composition is the identity morphism on Y,… … Wikipedia
Surjective function — Onto redirects here. For other uses, see wikt:onto. A surjective function from domain X to codomain Y. The function is surjective because every point in the codomain is the value of f(x) for at least one point x in the domain. In mathematics, a… … Wikipedia
Free monoid — In abstract algebra, the free monoid on a set A is the monoid whose elements are all the finite sequences (or strings) of zero or more elements from A , with the binary operation of concatenation. It is usually denoted A lowast;. The identity… … Wikipedia
Projection (mathematics) — Commutativity of this diagram is the universality of projection π, for any map f and set X. Generally speaking, in mathematics, a projection is a mapping of a set (or of a mathematical structure) which is idempotent, which means that a projection … Wikipedia
Exact category — In mathematics, an exact category is a concept of category theory due to Daniel Quillen which is designed to encapsulate the properties of short exact sequences in abelian categories without requiring that morphisms actually possess kernels and… … Wikipedia
Monomorphism — This page is about the mathematical term. For other uses, see Monomorphic (disambiguation) or Polymorphism (disambiguation). In the context of abstract algebra or universal algebra, a monomorphism is an injective homomorphism. A monomorphism from … Wikipedia
Coequalizer — In category theory, a coequalizer (or coequaliser) is a generalization of a quotient by an equivalence relation to objects in an arbitrary category. It is the categorical construction dual to the equalizer (hence the name). Contents 1 Definition… … Wikipedia
Isomorphism theorem — In mathematics, specifically abstract algebra, the isomorphism theorems are three theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules,… … Wikipedia
