faithful functor
Смотреть что такое "faithful functor" в других словарях:
Faithful — may refer to: * Faithfulness * Faithful (baptized Catholic), a baptised Catholic * Faithful (Todd Rundgren album), an album by Todd Rundgren * Faithful (Hillsong album), an album by the Hillsong Church * Faithful (Go West song), a song by Go West … Wikipedia
Functor — For functors as a synonym of function objects in computer programming to pass function pointers along with its state, see function object. For the use of the functor morphism presented here in functional programming see also the fmap function of… … Wikipedia
Full and faithful functors — In category theory, a faithful functor (resp. a full functor) is a functor which is injective (resp. surjective) when restricted to each set of morphisms with a given source and target.Explicitly, let C and D be (locally small) categories and let … Wikipedia
Forgetful functor — In mathematics, in the area of category theory, a forgetful functor is a type of functor. The nomenclature is suggestive of such a functor s behaviour: given some object with structure as input, some or all of the object s structure or properties … Wikipedia
Derived functor — In mathematics, certain functors may be derived to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies a number of constructions throughout mathematics. Contents 1 Motivation 2 Construction… … Wikipedia
Diagonal functor — In category theory, for any object a in any category where the product exists, there exists the diagonal morphism satisfying for , where πk … Wikipedia
Hom functor — In mathematics, specifically in category theory, Hom sets, i.e. sets of morphisms between objects, give rise to important functors to the category of sets. These functors are called Hom functors and have numerous applications in category theory… … Wikipedia
Concrete category — In mathematics, a concrete category is a category that is equipped with a faithful functor to the category of sets. This functor makes it possible to think of the objects of the category as sets with additional structure, and of its morphisms as… … Wikipedia
Equivalence of categories — In category theory, an abstract branch of mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are essentially the same . There are numerous examples of categorical equivalences… … Wikipedia
Motive (algebraic geometry) — For other uses, see Motive (disambiguation). In algebraic geometry, a motive (or sometimes motif, following French usage) denotes some essential part of an algebraic variety . To date, pure motives have been defined, while conjectural mixed… … Wikipedia
Subcategory — In mathematics, a subcategory of a category C is a category S whose objects are objects in C and whose morphisms are morphisms in C with the same identities and composition of morphisms. Intuitively, a subcategory of C is a category obtained from … Wikipedia
