In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic...
24 KB (3,550 words) - 22:28, 25 April 2025
up functor in Wiktionary, the free dictionary. A functor, in mathematics, is a map between categories. Functor may also refer to: Predicate functor in...
724 bytes (132 words) - 12:46, 3 November 2020
relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in...
64 KB (10,260 words) - 08:58, 28 May 2025
Limit (category theory) (redirect from Continuous functor)
like the strongly related notions of universal properties and adjoint functors, exist at a high level of abstraction. In order to understand them, it...
27 KB (4,330 words) - 09:29, 26 May 2025
In functional programming, a functor is a design pattern inspired by the definition from category theory that allows one to apply a function to values...
4 KB (397 words) - 16:00, 31 March 2025
Yoneda lemma (redirect from Yoneda functor)
is a fundamental result in category theory. It is an abstract result on functors of the type morphisms into a fixed object. It is a vast generalisation...
20 KB (3,448 words) - 09:53, 27 May 2025
specifically in the area of category theory, a forgetful functor (also known as a stripping functor) "forgets" or drops some or all of the input's structure...
8 KB (1,163 words) - 04:14, 6 May 2025
In mathematics, a group functor is a group-valued functor on the category of commutative rings. Although it is typically viewed as a generalization of...
3 KB (492 words) - 08:33, 7 February 2022
a branch of mathematics, a functor category D C {\displaystyle D^{C}} is a category where the objects are the functors F : C → D {\displaystyle F:C\to...
11 KB (1,776 words) - 18:31, 16 May 2025
category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. Such functors give representations of an...
13 KB (1,893 words) - 11:51, 15 March 2025
category theory, a faithful functor is a functor that is injective on hom-sets, and a full functor is surjective on hom-sets. A functor that has both properties...
4 KB (571 words) - 13:33, 4 October 2024
In mathematics, certain functors may be derived to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies...
18 KB (3,092 words) - 11:11, 24 December 2024
Topos (redirect from Logical functor)
the category of contravariant functors from D {\displaystyle D} to the category of sets; such a contravariant functor is frequently called a presheaf...
32 KB (4,308 words) - 14:15, 10 May 2025
Sheaf (mathematics) (redirect from Global section functor)
direct image functor, taking sheaves and their morphisms on the domain to sheaves and morphisms on the codomain, and an inverse image functor operating in...
69 KB (11,083 words) - 00:35, 6 May 2025
of final functor (resp. initial functor) is a generalization of the notion of final object (resp. initial object) in a category. A functor F : C → D...
2 KB (206 words) - 19:04, 4 March 2024
In category theory, a branch of mathematics, a conservative functor is a functor F : C → D {\displaystyle F:C\to D} such that for any morphism f in C,...
1 KB (131 words) - 07:41, 5 March 2024
theory, monoidal functors are functors between monoidal categories which preserve the monoidal structure. More specifically, a monoidal functor between two...
8 KB (1,285 words) - 18:20, 22 May 2025
Category theory (section Functors)
contravariant functor acts as a covariant functor from the opposite category Cop to D. A natural transformation is a relation between two functors. Functors often...
34 KB (3,893 words) - 14:21, 26 May 2025
between objects) give rise to important functors to the category of sets. These functors are called hom-functors and have numerous applications in category...
10 KB (1,056 words) - 17:03, 2 March 2025
Function object (redirect from Functor (C++))
In some languages, particularly C++, function objects are often called functors (not related to the functional programming concept). A typical use of a...
36 KB (4,383 words) - 17:09, 4 May 2025
particularly homological algebra, an exact functor is a functor that preserves short exact sequences. Exact functors are convenient for algebraic calculations...
13 KB (2,404 words) - 19:02, 4 March 2024
Natural transformation (category Functors)
mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure (i.e., the composition...
35 KB (5,962 words) - 12:53, 28 May 2025
categorical sum. It follows that any functor which preserves limits will take terminal objects to terminal objects, and any functor which preserves colimits will...
11 KB (1,336 words) - 16:25, 21 January 2024
mathematics, the Tor functors are the derived functors of the tensor product of modules over a ring. Along with the Ext functor, Tor is one of the central...
13 KB (2,068 words) - 17:02, 2 March 2025
In mathematics, an effaceable functor is an additive functor F between abelian categories C and D for which, for each object A in C, there exists a monomorphism...
875 bytes (131 words) - 06:57, 4 March 2024
In mathematics, the Ext functors are the derived functors of the Hom functor. Along with the Tor functor, Ext is one of the core concepts of homological...
21 KB (3,876 words) - 19:48, 4 May 2025
Simplicial set (redirect from Geometric realization functor)
topological spaces. Formally, a simplicial set may be defined as a contravariant functor from the simplex category to the category of sets. Simplicial sets were...
23 KB (3,384 words) - 09:16, 24 April 2025
Homological algebra (section Derived functor)
Poincaré and David Hilbert. Homological algebra is the study of homological functors and the intricate algebraic structures that they entail; its development...
27 KB (3,859 words) - 21:03, 26 January 2025
Preadditive category (redirect from Additive functor)
{\displaystyle C} and D {\displaystyle D} are preadditive categories, then a functor F : C → D {\displaystyle F:C\rightarrow D} is additive if it too is enriched...
12 KB (1,652 words) - 15:51, 6 May 2025
Map (higher-order function) (redirect from Functor (type theory))
category-theoretic functor axioms for this functor. Functors can also be objects in categories, with "morphisms" called natural transformations. Given two functors F ...
23 KB (1,572 words) - 22:24, 25 February 2025