Examples of using Morphisms in English and their translations into French
{-}
-
Colloquial
-
Official
A regular monomorphism equalizes some parallel pair of morphisms.
Particular kinds of morphisms of groupoids are of interest.
The composition of two morphisms is again a morphism.
This is the composition law for morphisms in the cobordism category.
In the case of groups, the morphisms are the group homomorphisms.
the composition of two morphisms need not be uniquely defined.
Morphisms in this category are natural transformations between functors.
comes from a pair of composable morphisms in this way.
In such categories, there are distinguished classes of morphisms, the so-called fibrations, cofibrations and weak equivalences.
Let B{\displaystyle{\mathcal{B}}} be the category of finite sets, with the morphisms of the category being the bijections between these sets.
In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties.
a natural transformation provides a way of transforming one functor into another while respecting the internal structure(i.e., the composition of morphisms) of the categories involved.
which come with transformations(called morphisms) that mimic the group axioms.
Measurable spaces form a category in which the morphisms are measurable functions between measurable spaces.
All the morphisms that can serve as composition of two given morphisms are related to each other by higher order invertible morphisms 2-simplices thought of as"homotopies.
be regarded as functors Δop→ Set, where Δ is the category of totally ordered finite sets and order-preserving morphisms.
Thus, in a quasi-category, one cannot define a composition law on morphisms, since one can choose many ways to compose maps.
they contain objects(the 0-simplices of the simplicial set) and morphisms between these objects 1-simplices.
functors- the objects are categories, and the morphisms(between categories) are functors.
In category theory, a small category can be represented by a directed multigraph in which the objects of the category are represented as vertices and the morphisms as directed edges.