Metadata
Author: ParaCrawl Corpus
Data
English[en]
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
Dutch[nl]
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.