vergeetachtige functor oor Engels

vergeetachtige functor

Vertalings in die woordeboek Nederlands - Engels

forgetful functor

naamwoord

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.

Er is een natuurlijke vergeetachtige functor U : Ring → Set voor de categorie van ringen naar de categorie van verzamelingen die elke ring naar de onderliggende verzameling zend (en dus de operaties van optellen en vermenigvuldigen "vergeet").
There is a natural forgetful functor U : Ring → Set for the category of rings to the category of sets which sends each ring to its underlying set (thus "forgetting" the operations of addition and multiplication).

Categorieën kunnen zich voordoen als de modellen van enige axiomatische theorie en de homomorfismen tussen hen (in welk geval zij meestal concreet zijn, wat hier wil zeggen uitgerust met een vergeetachtige functor tot de categorie Set of meer in het algemeen aan een geschikte topos), of zij kunnen worden geconstrueerd uit andere, meer primitieve categorieën, of ze kunnen worden bestudeerd als abstracte objecten in hun eigen recht, zonder acht te slaan op hun herkomst.
Categories may arise as the models of some axiomatic theory and the homomorphisms between them (in which case they are usually concrete, meaning equipped with a faithful forgetful functor to the category Set or more generally to a suitable topos), or they may be constructed from other more primitive categories, or they may be studied as abstract objects in their own right without regard for their provenance.

Er is een natuurlijke vergeetachtige functor
There is a natural forgetful functor