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
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.ParaCrawl Corpus ParaCrawl Corpus