trouwe functor oor Engels

trouwe functor

Vertalings in die woordeboek Nederlands - Engels

faithful functor

Soortgelyke frases

volledige en trouwe functor
full and faithful functor

voorbeelde

Een categorie met een trouwe functor naar Set is (per definitie) een concrete categorie; in het algemeen is zo'n vergeetachtige functor niet volledig.
A category with a faithful functor to Set is (by definition) a concrete category; in general, that forgetful functor is not full.

Een categorie C is concretiseerbaar als er een concrete categorie (C,U) bestaat; dat wil zeggen, als er een trouwe functor U:C → Set bestaat.
A category C is concretizable if there exists a concrete category (C,U); i.e., if there exists a faithful functor U:C → Set.

De functor U moet als een trouwe functor worden gezien, die aan elk object van C diens "onderliggende verzameling", en aan elk morfisme in C diens "onderliggende functie" toewijst.
The functor U is to be thought of as a forgetful functor, which assigns to every object of C its "underlying set", and to every morphism in C its "underlying function".

In de categorietheorie, een abstract deelgebied van de wiskunde, is een trouwe functor (respectievelijk een volledige functor) een functor, die injectief (respectievelijk surjectief) is, wanneer hij beperkt wordt tot elke verzameling van morfismen met een gegeven bron en doel.
In category theory, a faithful functor (respectively a full functor) is a functor that is injective (respectively surjective) when restricted to each set of morphisms that have a given source and target.

Een trouwe functor hoeft niet injectief te zijn op objecten of morfismen.
A faithful functor need not be injective on objects or morphisms.

In de categorietheorie, een abstract deelgebied van de wiskunde, is een trouwe functor (respectievelijk een volledige functor) een functor, die injectief (respectievelijk surjectief) is, wanneer hij beperkt wordt tot elke verzameling van morfismen met een gegeven bron en doel.
In category theory, a faithful functor (resp. a full functor) is a functor that is injective (resp. surjective) when restricted to each set of morphisms that have a given source and target. Contents 1 Formal definitions