- proper subobject
- мат. собственный подобъект
Большой англо-русский и русско-английский словарь. 2001.
proper subobject
Смотреть что такое "proper subobject" в других словарях:
Subobject — In category theory, there is a general definition of subobject extending the idea of subset and subgroup.In detail, suppose we are given some category C and monomorphisms: u : S rarr; A and: v : T rarr; A . We say u factors through v and write :… … Wikipedia
Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia
Category of sets — In mathematics, the category of sets, denoted as Set, is the category whose objects are all sets and whose morphisms are all functions. It is the most basic and the most commonly used category in mathematics.Properties of the category of setsThe… … Wikipedia
Domain (mathematics) — In mathematics, the domain of a given functionis the set of input values for which the function is defined. [Paley, H. Abstract Algebra , Holt, Rinehart and Winston, 1966 (p. 16).] For instance, the domain of cosine would be all real numbers,… … Wikipedia
Embedding — In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup.When some object X is said to be embedded in another object Y , the embedding is… … Wikipedia
Glossary of category theory — This is a glossary of properties and concepts in category theory in mathematics.CategoriesA category A is said to be: * small provided that the class of all morphisms is a set (i.e., not a proper class); otherwise large. * locally small provided… … Wikipedia
Elementartopos — Topos (pl. Topoi, griech. Ort) ist ein Begriff der Kategorientheorie, der in zwei engverwandten Ausprägungen vorkommt, nämlich als Grothendieck Topos, der ein verallgemeinerter topologischer Raum ist und Anwendungen in der algebraischen Geometrie … Deutsch Wikipedia
Topos (Mathematik) — Topos (pl. Topoi, griech. Ort) ist ein Begriff der Kategorientheorie, der in zwei engverwandten Ausprägungen vorkommt, nämlich als Elementartopos, der eine verallgemeinerte Kategorie aller Mengen ist, mit dem Ziel einer nicht mengentheoretischen… … Deutsch Wikipedia
Domain of a function — Venn diagram showing f, a function from domain X to codomain Y. The smaller oval inside Y is the image of f, sometimes called the range of f. In mathematics, the domain of definition or simply the domain of a function is the set of input or… … Wikipedia
