Examples of using Morphisms in English and their translations into Russian
{-}
-
Official
-
Colloquial
Morphisms in this category are natural transformations between functors.
If C is a category with zero morphisms, then the collection of 0XY is unique.
The morphisms π1 and π2 are called the canonical projections or projection morphisms. .
The class of all vector bundles together with bundle morphisms forms a category.
Morphisms of this category are the g{\displaystyle{\mathfrak{g}}}-homomorphisms of these modules.
The primary difference is that in the categorical setting one has morphisms that also need indexing.
There are no zero morphisms in Top, and in particular the category is not preadditive.
On the other hand, a"small category" is one whose objects and morphisms are members of a set.
Morphisms between(quasi-)coherent sheaves are the same as morphisms of sheaves of OX-modules.
These zero elements form a compatible family of zero morphisms for C making it into a category with zero morphisms.
Morphisms in the categories are given by the massless spectrum of open strings stretching between two branes.
In the category of rings,there are no kernels in the category-theoretic sense; indeed, this category does not even have zero morphisms.
Since morphisms of fields are injective, the surjection of the residue fields induced by g is an isomorphism.
It is a category whose objects are certain representations of a semisimple Lie algebra and morphisms are homomorphisms of representations.
A small category with a single object is the same thing as a monoid: the morphisms of a one-object category can be thought of as elements of the monoid, and composition in the category is thought of as the monoid operation.
However, U may map different objects to the same set and, if this occurs,it will also map different morphisms to the same function.
Then for all objects X andY there is a unique sequence of morphisms 0XY: X→ 0→ Y The family of all morphisms so constructed endows C with the structure of a category with zero morphisms. .
Any topological space X gives rise to a category where the objects are the points of X and the morphisms are the homotopy classes of paths.
Explicitly, the naturality of Φ means that for all morphisms f: X→ X′ in C and all morphisms g: Y′→ Y in D the following diagram commutes: The vertical arrows in this diagram are those induced by composition.
In the article have been proposed a mathematical model of society as categories,which objects are the people, and morphisms is relations between them.
A coequalizer is a colimit of the diagram consisting of two objects X andY and two parallel morphisms f, g: X→ Y. More explicitly, a coequalizer can be defined as an object Q together with a morphism q: Y→ Q such that q∘ f q∘ g.
For instance, in some developments of category theory,a"large category" is defined as one whose objects and morphisms make up a proper class.
We define the elementary language of category theory as the two-sorted first order language with objects and morphisms as distinct sorts, together with the relations of an object being the source or target of a morphism anda symbol for composing two morphisms.
In the language of category theory, they are group objects in a category, meaning that they are objects(that is,examples of another mathematical structure) which come with transformations(called morphisms) that mimic the group axioms.
Let(Xi, fij) be an inverse system of objects and morphisms in a category C same definition as above.
When dealing with morphisms f: X→ Y{\displaystyle f\colon X\to Y} of locally ringed spaces, for example schemes in algebraic geometry, one often works with sheaves of O Y{\displaystyle{\mathcal{O}}_{Y}}-modules, where O Y{\displaystyle{\mathcal{O}}_{Y}} is the structure sheaf of Y{\displaystyle Y.
Consider a category C{\displaystyle C} with one object c{\displaystyle c},and two morphisms 1 c, f: c→ c{\displaystyle 1_{ c}, f\ colon c\ to c.
The tangent space has an interpretation in terms of homomorphisms to the dual numbers for K,K/t2: in the parlance of schemes, morphisms Spec K/t2 to a scheme X over K correspond to a choice of a rational point x∈ X(k) and an element of the tangent space at x.
In category theory, a branch of mathematics, the functors between two given categories form a category, where the objects are the functors and the morphisms are natural transformations between the functors.
If the domains of S, T{\displaystyle S, T} are equal,then the diagram which defines morphisms in S↓ T{\displaystyle S\downarrow T} with A B, A′ B′, f g{\displaystyle A=B, A'=B', f=g} is identical to the diagram which defines a natural transformation S→ T{\displaystyle S\to T.