DOSEN PROFIL LENGKAP

In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic...

up functor in Wiktionary, the free dictionary. A functor, in mathematics, is a map between categories. Functor may also refer to: Predicate functor in...

relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in...

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

like the strongly related notions of universal properties and adjoint functors, exist at a high level of abstraction. In order to understand them, it...

category of functors (contravariant set-valued functors) defined on that category. It also clarifies how the embedded category of representable functors and their...

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

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

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

between objects) give rise to important functors to the category of sets. These functors are called hom-functors and have numerous applications in category...

mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure (i.e., the composition...

contravariant power set functor, P: Set → Set and P: Set op → Set. The covariant functor is defined more simply as the functor which sends a set S to P(S)...

category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. Such functors give representations of an...

topological functor is one which has similar properties to the forgetful functor from the category of topological spaces. The domain of a topological functor admits...

particularly homological algebra, an exact functor is a functor that preserves short exact sequences. Exact functors are convenient for algebraic calculations...

mathematics, specifically category theory, certain functors may be derived to obtain other functors closely related to the original ones. This operation...

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

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

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

In category theory, a branch of mathematics, the diagonal functor C → C × C {\displaystyle {\mathcal {C}}\rightarrow {\mathcal {C}}\times {\mathcal {C}}}...

category-theoretic functor axioms for this functor. Functors can also be objects in categories, with "morphisms" called natural transformations. Given two functors F ...

Fiber functors in category theory, topology and algebraic geometry refer to several loosely related functors that generalise the functors taking a covering...

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

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,...

a triple ( T , η , μ ) {\displaystyle (T,\eta ,\mu )} consisting of a functor T from a category to itself and two natural transformations η , μ {\displaystyle...

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

the category of contravariant functors from D {\displaystyle D} to the category of sets; such a contravariant functor is frequently called a presheaf...

In homological algebra, a δ-functor between two abelian categories A and B is a collection of functors from A to B together with a collection of morphisms...

In type theory, a polynomial functor (or container functor) is a kind of endofunctor of a category of types that is intimately related to the concept...

generally, the homology functor is defined axiomatically, as a functor on an abelian category, or, alternately, as a functor on chain complexes, satisfying...

Technically, a universal property is defined in terms of categories and functors by means of a universal morphism (see § Formal definition, below). Universal...

In some languages, particularly C++, function objects are often called functors (not related to the functional programming concept). A typical use of a...

calculus of functors or Goodwillie calculus is a technique for studying functors by approximating them by a sequence of simpler functors; it generalizes...

category theory, the notion of final functor is a generalization of the notion of cofinal set from order theory. A functor F : C → D {\displaystyle F:C\to...

particularly in representation theory and algebraic topology, a Mackey functor is a type of functor that generalizes various constructions in group theory and equivariant...

the inverse image functor is a functor from the category of sheaves on Y to the category of sheaves on X. The direct image functor is the primary operation...

theory, monoidal functors are functors between monoidal categories which preserve the monoidal structure. More specifically, a monoidal functor between two...

of all small categories, with functors between them as morphisms. In turn, a functor category has as objects functors between two fixed categories and...

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

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

an applicative functor, or an applicative for short, is an intermediate structure between functors and monads. Applicative functors allow for functorial...

(small) categories, where a 2-morphism is a natural transformation between functors. The concept of a strict 2-category was first introduced by Charles Ehresmann...

general simplicial set there is a functor τ {\displaystyle \tau } from sSet to Cat, the left-adjoint of the nerve functor, and for a quasi-category C, we...

category that is equipped with a faithful functor to the category of sets (or sometimes to another category). This functor makes it possible to think of the objects...

a branch of mathematics, the cone of a functor is an abstract notion used to define the limit of that functor. Cones make other appearances in category...

especially in the field of representation theory, Schur functors (named after Issai Schur) are certain functors from the category of modules over a fixed commutative...

diffeomorphisms. In the category of small categories, the morphisms are functors. In a functor category, the morphisms are natural transformations. For more examples...

{\displaystyle C_{2}} , and if F : C 1 → C 2 {\displaystyle F:C_{1}\to C_{2}} is a functor mapping X 1 {\displaystyle X_{1}} to X 2 {\displaystyle X_{2}} , then F...

of any functor with its inverse. Category theory views these collection monads as adjunctions between the free functor and different functors from the...

In mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic (also known as predicate logic) by purely algebraic...

categorical sum. It follows that any functor which preserves limits will take terminal objects to terminal objects, and any functor which preserves colimits will...

respect to some universe) and the morphisms functors. Fct(C, D), the functor category: the category of functors from a category C to a category D. Set, the...

signalizer functor is a mapping from a potential finite subgroup to the centralizers of the nontrivial elements of an abelian group. The signalizer functor theorem...

Thus the contravariant hom-functor changes coproducts into products. Stated another way, the hom-functor, viewed as a functor from the opposite category...

the formal criteria for adjoint functors are criteria for the existence of a left or right adjoint of a given functor. One criterion is the following...

the same as a covariant functor I → C {\displaystyle {\mathcal {I}}\rightarrow {\mathcal {C}}} . The colimit of this functor is the same as the direct...

then just a contravariant functor I → C. Let C I o p {\displaystyle C^{I^{\mathrm {op} }}} be the category of these functors (with natural transformations...

Poincaré and David Hilbert. Homological algebra is the study of homological functors and the intricate algebraic structures that they entail; its development...

{\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...

There is an obvious faithful functor I : S → C {\displaystyle I:{\mathcal {S}}\to {\mathcal {C}}} , called the inclusion functor which takes objects and morphisms...

In mathematics, a binary operation or dyadic operation is a rule for combining two elements (called operands) to produce another element. More formally...

branch of mathematics, a presheaf on a category C {\displaystyle C} is a functor F : C o p → S e t {\displaystyle F\colon C^{\mathrm {op} }\to \mathbf {Set}...

In algebra, a polynomial functor is an endofunctor on the category V {\displaystyle {\mathcal {V}}} of finite-dimensional vector spaces that depends polynomially...

In mathematics, the direct image functor describes how structured data assigned to one space can be systematically transferred to another space using...

a strict monoidal category with the composition of functors as the product and the identity functor as the unit. Just like for any category E, the full...

lemma. The construction of a scheme structure on (the representable functor version of) the Picard group, the Picard scheme, is an important step in...

In mathematics, a Zuckerman functor is used to construct representations of real reductive Lie groups from representations of Levi subgroups. They were...

equivalence of categories consists of a functor between the involved categories, which is required to have an "inverse" functor. However, in contrast to the situation...

Cat is naturally a 2-category, with functors as its arrows and natural transformations as the arrows between functors. In this setting, commutative diagrams...

functors fmap :: (a -> b) -> (f a -> f b) -- action of functor on morphisms instance Functor (MaybeProd a) where -- turn MaybeProd a into a functor,...

geometry, a functor represented by a scheme X is a set-valued contravariant functor on the category of schemes such that the value of the functor at each...

{\displaystyle FG=1_{D}} (the identity functor on D) and G F = 1 C {\displaystyle GF=1_{C}} (the identity functor on C). In a concrete category (roughly...

must be additive functors (see here). Most of the interesting functors studied in category theory are adjoints. When considering functors between R-linear...

operations are six functors. Usually these are functors between derived categories and so are actually left and right derived functors. the direct image...

the components and projections. If we regard this diagram as a functor, it is a functor from the index set I {\displaystyle I} considered as a discrete...

properties. An enriched functor is the appropriate generalization of the notion of a functor to enriched categories. Enriched functors are then maps between...

The third condition is equivalent to the requirement that the functor –×Y (i.e. the functor from C to C that maps objects X to X×Y and morphisms φ to φ × idY)...

It turns out that there are applications of our functors which make use of the analogous transformations which we like to think of as a change of basis...

geometry, the exceptional inverse image functor is the fourth and most sophisticated in a series of image functors for sheaves. It is needed to express Verdier...

In mathematics, specifically in category theory, a functor F : C → D {\displaystyle F:C\to D} is essentially surjective if each object d {\displaystyle...

In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex...

pullback functor taking bundles on Y to bundles on X. Fibred categories formalise the system consisting of these categories and inverse image functors. Similar...

category of chain complexes of an abelian category, or the category of functors from a small category to an abelian category are abelian as well. These...

we may interpret the theorem as confirming that the fundamental group functor preserves pushouts of inclusions. We might expect this to be simplest when...

Kan extension from 1956 was in homological algebra to compute derived functors. In Categories for the Working Mathematician, Saunders Mac Lane titled...

R, is given by the tensor product over R, and Spec is a contravariant functor, the pullback of two affine schemes Spec(A) and Spec(B) over Spec(R), usually...

translation functor is a functor taking representations of a Lie algebra to representations with a possibly different central character. Translation functors were...

category is a category with the additional structure of a "translation functor" and a class of "exact triangles". Prominent examples are the derived category...

gist of the theory is that the fiber functor Φ of the Galois theory is replaced by an exact and faithful tensor functor F from C to the category of finite-dimensional...

consider globular objects in a category C {\displaystyle {\mathcal {C}}} as functors X ∙ : G o p → C . {\displaystyle X_{\bullet }\colon \mathbb {G} ^{op}\to...

-)&\rightarrow &\operatorname {Hom} (X,-)\end{matrix}}} being a monomorphism in the functor category SetC. Every coequalizer is an epimorphism, a consequence of the...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

category to the category Cat of (small) categories that is just like a functor except that F ( f ∘ g ) = F ( f ) ∘ F ( g ) {\displaystyle F(f\circ g)=F(f)\circ...

I} satisfy: given a family of functors f i : D → C i {\displaystyle f_{i}:D\to C_{i}} , there exists a unique functor f : D → P {\displaystyle f:D\to...

coaugmented functor. A coaugmented functor is a pair (L,l) where L:C → C is an endofunctor and l:Id → L is a natural transformation from the identity functor to...

semilattices. A functor f : C → D {\displaystyle f:{\mathcal {C}}\rightarrow {\mathcal {D}}} between coherent categories is called coherent functor if it is...

there are forgetful functors A : Ring → Ab M : Ring → Mon which "forget" multiplication and addition, respectively. Both of these functors have left adjoints...

replaces sets with categories, functions with functors, and equations with natural isomorphisms of functors satisfying additional properties. The term was...

equivalently, a functor from a fixed index category to some category. Formally, a diagram of type J in a category C is a (covariant) functor D : J → C. The...

Hom functor are adjoint; however, they might not always lift to an exact sequence. This leads to the definition of the Tor functor and the Ext functor. A...

In mathematics, the Landweber exact functor theorem, named after Peter Landweber, is a theorem in algebraic topology. It is known that a complex orientation...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

categories Subcategory Faithful functor Full functor Forgetful functor Representable functor Functor category Adjoint functors Galois connection Pontryagin...

In mathematics, a topological half-exact functor F is a functor from a fixed topological category (for example CW complexes or pointed spaces) to an abelian...

structured representation of processes in a system Function object or functor or functionoid, a concept of object-oriented programming Function (computer...

theory viewpoint, duality can also be seen as a functor, at least in the realm of vector spaces. This functor assigns to each space its dual space, and the...

space of X is often denoted by L X {\displaystyle {\mathcal {L}}X} . As a functor, the free loop space construction is right adjoint to cartesian product...

pre-abelian category, exact functors can be described in particularly simple terms. First, recall that an additive functor is a functor F: C → D between preadditive...

{\displaystyle \phi (s_{i})=s_{i}'} . This means the associated moduli functor P Z n : Sch → Sets {\displaystyle \mathbf {P} _{\mathbb {Z} }^{n}:{\text{Sch}}\to...

category whose objects are all small categories and whose morphisms are functors between categories. Cat may actually be regarded as a 2-category with natural...

and a monoidal functor to its underlying morphism of signatures, i.e. it forgets the identity, composition and tensor. The free functor C − : M o n S i...

deformation theory introduced by Schlessinger (1968) that gives conditions for a functor of artinian local rings to be pro-representable, refining an earlier theorem...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

isomorphic if there exist functors F : C → D and G : D → C that are mutually inverse to each other, i.e. FG = 1D (the identity functor on D) and GF = 1C. This...

the category known as Cat, which is the category of small categories and functors is actually a 2-category with natural transformations as its 2-morphisms...

mathematics, restriction of scalars (also known as "Weil restriction") is a functor which, for any finite extension of fields L/k and any algebraic variety...

other containers. Indexed containers (also known as dependent polynomial functors) are a generalisation of containers, which can represent a wider class...

1963 p. 13). The most general comma category construction involves two functors with the same codomain. Often one of these will have domain 1 (the one-object...

lemma, a scheme X over a field k is determined by its functor of points, which is the functor X : k -Alg → S e t {\displaystyle X:k{\text{-Alg}}\to \mathrm...

contravariant functor F on the homotopy category Hotc of pointed connected CW complexes, to the category of sets Set, to be a representable functor. More specifically...

object is a presheaf on Δ {\displaystyle \Delta } , that is a contravariant functor from Δ {\displaystyle \Delta } to another category. For instance, simplicial...

In category theory, an end of a functor S : C o p × C → X {\displaystyle S\colon \mathbf {C} ^{\mathrm {op} }\times \mathbf {C} \to \mathbf {X} } is a...

that is equipped with a faithful functor to Set, the category of sets. Let C be a concrete category with a faithful functor U : C → Set. Let X be a set (that...

(extension functor or Ex functor) is an endofunctor on the category of simplicial sets. Due to many remarkable properties, the extension functor has plenty...

In mathematics, a projection is a mapping from a set to itself—or an endomorphism of a mathematical structure—that is idempotent, that is, equals its composition...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

resolution of a chain complex. It can be used to construct hyper-derived functors. It is named in honor of Henri Cartan and Samuel Eilenberg. Let A {\displaystyle...

other words, there is a contravariant functor that gives an equivalence between the categories. The inverse functor's action on morphisms maps a continuous...

statement that the tensor product − ⊗ X {\displaystyle -\otimes X} and hom-functor Hom ⁡ ( X , − ) {\displaystyle \operatorname {Hom} (X,-)} form an adjoint...

tells when a functor between the categories of modules is given by an application of a tensor product. Precisely, it says that a functor F : M o d R →...

In algebraic geometry, a Fourier–Mukai transform ΦK is a functor between derived categories of coherent sheaves D(X) → D(Y) for schemes X and Y, which...

dissertation, on Functor Theory, was written under the supervision of Norman Steenrod and David Buchsbaum. Freyd is best known for his adjoint functor theorem...

Microlocal analysis is a branch of mathematical analysis that studies functions, generalized functions and partial differential equations by localizing...

unique functor F' : C(G) → D such that U(F')∘I=F, i.e. the following diagram commutes: The functor C is left adjoint to the forgetful functor U. Mathematics...

forgetful functor from Cat (the category of small categories) to Quiv (the category of multidigraphs). Its left adjoint is a free functor which, from...

obtain a functor i from the category Δ to the category of small categories. We can now describe the nerve of the category C as the functor Δop → Set...

equivalence class. This functor is bijective on objects and surjective on Hom-sets (i.e. it is a full functor). Every functor F : C → D {\displaystyle...

{\displaystyle F\dashv G} , is used to indicate that the functor F is left adjoint to the functor G. More rarely, a turnstile ( ⊢ {\displaystyle \vdash }...

mathematics, a smooth functor is a type of functor defined on finite-dimensional real vector spaces. Intuitively, a smooth functor is smooth in the sense...

discussing variations of degenerating mixed Hodge structures through the six functor formalism. Essentially, these objects are a pair of a filtered D-module...

functors RiF(En) vanish for all i > 0 and n ≥ 0. Dually, a left resolution is acyclic with respect to a right exact functor if its derived functors vanish...

a limit sketch. Adjoint functors between locally presentable categories have a particularly simple characterization. A functor F : C → D {\displaystyle...

module used in the study of automorphic representations. The Jacquet functor is the functor that sends a linear representation to its Jacquet module. They are...

The set of natural numbers is the carrier of an initial algebra for this functor: the point is zero and the function is the successor function. For a second...

an amnestic functor F : A → B is a functor for which an A-isomorphism ƒ is an identity whenever Fƒ is an identity. An example of a functor which is not...

Continuous functors induce functors between the corresponding topoi by sending a sheaf F {\displaystyle F} to F u {\displaystyle Fu} . These functors are called...

written ϕ : C ↛ D {\displaystyle \phi :C\nrightarrow D} , is defined to be a functor ϕ : D o p × C → S e t {\displaystyle \phi :D^{\mathrm {op} }\times C\to...

satisfy, given that it is a presheaf, which is by definition a contravariant functor F : O ( X ) → C {\displaystyle {\mathcal {F}}:{\mathcal {O}}(X)\rightarrow...

respectively. With the addition of the normalizing factors this induction functor takes unitary representations to unitary representations. One other variation...

Dual (category theory) Duality (mathematics) Adjoint functor Contravariant functor Opposite functor "Is there an introduction to probability theory from...

the standard 1-simplex. Coequalizers can be large: There are exactly two functors from the category 1 having one object and one identity arrow, to the category...

{\displaystyle f:A\rightarrow B} in E {\displaystyle \mathbf {E} } then there is a functor f ∗ : E / B → E / A {\displaystyle f^{*}:\mathbf {E} /B\rightarrow \mathbf...

limits and exact sequences. For this reason, regular functors are sometimes called exact functors. Functors that preserve finite limits are often said to be...

defines a functor ⇒: C o p × C → C {\displaystyle \Rightarrow :{\mathcal {C}}^{op}\times {\mathcal {C}}\to {\mathcal {C}}} . This functor is called the...

from the category of representations of it together with the forgetful functor to the category of vector spaces. The Grothendieck ring of the category...

introduced to refine and in a certain sense to simplify the theory of derived functors defined on A. The construction proceeds on the basis that the objects of...

rise to a functor from the category of pointed spaces to itself. An important property of this functor is that it is left adjoint to the functor Ω {\displaystyle...

sets and simplicial commutative rings (given by the forgetful and free functors), and in nice cases one can lift model structures under an adjunction....

representations based on how nice they are, and also provides faithful functors to categories of linear algebraic objects that are easier to study. The...

Hom functor and the tensor product functor might not lift to an exact sequence; this leads to the definition of the Ext functor and the Tor functor. In...

joining X to a point. The map X ↦ C X {\displaystyle X\mapsto CX} induces a functor C : T o p → T o p {\displaystyle C\colon \mathbf {Top} \to \mathbf {Top}...

is equivalent to finding a functor from Frm to Top which is adjoint to Ω. The goal of this section is to define a functor pt from Frm to Top that in a...

notation mentioned in the “Formal definition” section above, define a functor F: C → CT by F X = X T {\displaystyle FX=X_{T}\;} F ( f : X → Y ) = ( η...

construct-memoized-functor(factorial) The above example assumes that the function factorial has already been defined before the call to construct-memoized-functor is...

triangulated category D {\displaystyle {\mathcal {D}}} with translation functor [ 1 ] {\displaystyle [1]} . A t-structure on D {\displaystyle {\mathcal...

universal quantifiers of logic could be characterized as adjoint functors to the substitution functor. This revealed a deep connection between logic and geometry...

) {\displaystyle F,V:{\mathcal {K}}\to {\mathcal {C}}(R)} be covariant functors such that: F i = V i = 0 {\displaystyle F_{i}=V_{i}=0} for i < 0 {\displaystyle...

ind-completed category, denoted Ind(C), are known as direct systems, they are functors from a small filtered category I to C. The dual concept is the pro-completion...

{\mathcal {C}}} consists of a 2-functor (in particular, if it is a functor on a weak 2-category, it is a pseudo-functor.) T : C → C {\displaystyle T:{\mathcal...

an assembly map is a universal approximation of a homotopy invariant functor by a homology theory from the left. From the geometric viewpoint, assembly...

involves a functor, the nearby cycle functor, with a definition by means of the higher direct image and pullbacks. The vanishing cycle functor then sits...

property is that for a scheme T {\displaystyle T} , it represents the functor whose T {\displaystyle T} -valued points are the closed subschemes of P...

{H} _{*}(-),\mathbb {H} ^{*}(-)} ) is a generalization of (co)homology functors which takes as input not objects in an abelian category A {\displaystyle...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

understood using the concept of adjoint functor, and that the quantifiers were also best understood using adjoint functors. Internal languages This can be seen...

therefore the powerset functor a -> Bool has no final coalgebra. However, in the case of polynomial functors or quotient polynomial functors, final coalgebras...

Beck's monadicity theorem gives a criterion that characterises monadic functors, introduced by Jonathan Mock Beck (1968). It is often stated in dual form...

In algebraic topology, a branch of mathematics, the Čech-to-derived functor spectral sequence is a spectral sequence that relates Čech cohomology of a...

exists that is a final object among all lifts. For example, the forgetful functor QCoh → Sch {\displaystyle {\textrm {QCoh}}\to {\textrm {Sch}}} from the...

discrete if and only if all of its subcategories are full. The limit of any functor from a discrete category into another category is called a product, while...

is the functor that assigns to each topological space its underlying set (the so-called forgetful functor), and H : Set → Top is the functor that puts...

homological methods, such as the Ext functor. This functor is the derived functor of the functor HomR(M, −). The latter functor is exact if M is projective, but...

{\displaystyle M^{G}} yields a functor from the category of G {\displaystyle G} -modules to the category Ab of abelian groups. This functor is left exact but not...

in mathematics, the subdivision of simplicial sets (subdivision functor or Sd functor) is an endofunctor on the category of simplicial sets. It refines...

to produce function objects (functors) which can be bound to a signal. Each signal can be connected to multiple functors thus creating an observer pattern...

injective and projective model structures are special model structures on functor categories into a model category. Both model structures do not have to...

topology; see Full set A property of functors in the mathematical field of category theory; see Full and faithful functors Satiety, the absence of hunger A...

derived functors of a left exact functor on an abelian category, while "homology" is used for the left derived functors of a right exact functor. For example...

I)} such that the functor T : ( C , ⊗ , I ) → ( C , ⊗ , I ) {\displaystyle T:(C,\otimes ,I)\to (C,\otimes ,I)} is a lax monoidal functor and the natural...

f_{*}N=N_{R}} , formed by restriction of scalars. They are related as adjoint functors: f ∗ : Mod R ⇆ Mod S : f ∗ {\displaystyle f^{*}:{\text{Mod}}_{R}\leftrightarrows...

category C, a representation of G in the category C is a functor from G to C. Such a functor selects an object of C and a subgroup of automorphisms of...

homology theories as derived functors on appropriate abelian categories, measuring the failure of an appropriate functor to be exact. One can describe...

approximation functor can be defined as the composition of the singular chain functor S ∗ {\displaystyle S_{*}} followed by the geometric realization functor; see...

In algebra, Exalcomm is a functor classifying the extensions of a commutative algebra by a module. More precisely, the elements of Exalcommk(R,M) are...

detached from simply making direct use of the underlying natural language. Functors (also known as function words) belong to the most important categories...

compact (or proper) support is an image functor for sheaves that extends the compactly supported global sections functor to the relative setting. It is one...

bifunctor; but as (single) functor, of type [ X , − ] {\displaystyle [X,-]} , it appears as an adjoint functor to a functor of type − × X {\displaystyle...

ETAC provides an axiomatic construction of the theory of categories and functors in first-order logic. ETAC axioms, 0. For any letters x , y , u , A , B...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

Quillen functor M → L C M {\displaystyle M\to L_{C}M} whose left derived functor sends all morphisms in C to weak equivalences. Any left Quillen functor M →...

function the underlying function. This functor is faithful, and therefore PreOrd is a concrete category. This functor has a left adjoint (sending every set...

to make Rel a dagger category. The category has two functors into itself given by the hom functor: A binary relation R ⊆ A × B and its transpose RT ⊆...

library itself. It provides four components called algorithms, containers, functors, and iterators. The STL provides a set of common classes for C++, such...

In category theory, a branch of mathematics, a dagger category (also called involutive category or category with involution) is a category equipped with...

TwoListQueue.insert (Real.toString Math.pi, q) A functor is a function from structures to structures; that is, a functor accepts one or more arguments, which are...

category, or rather the canonical functor S m S → H ( S ) {\displaystyle Sm_{S}\to {\mathcal {H}}(S)} , is the universal functor from the category S m S {\displaystyle...

Singular homology of topological spaces. 1934 Reinhold Baer Ext groups, Ext functor (for abelian groups and with different notation). 1935 Witold Hurewicz...

{G}}_{0}} with functors s , t : G 1 → G 0 {\displaystyle s,t:{\mathcal {G}}_{1}\to {\mathcal {G}}_{0}} and an embedding given by an identity functor i : G 0...

computes the derived functors of the composition of two functors G ∘ F {\displaystyle G\circ F} , from knowledge of the derived functors of F {\displaystyle...

consider quantum double groupoids to be fundamental groupoids defined via a 2-functor, which allows one to think about the physically interesting case of quantum...

quantifier can be understood as the right adjoint of a functor between power sets, the inverse image functor of a function between sets; likewise, the existential...

should not be confused with other uses of the word "functor" throughout mathematics, see Functor (disambiguation). In the untyped lambda calculus, all...

construct the resolutions needed to define sheaf cohomology (and other derived functors, such as sheaf Ext). There is a further group of related concepts applied...

cohomology with compact support, or more generally higher direct image functors with proper support. The idea is that given a compactifiable morphism f...

that monotone Galois connections are special cases of pairs of adjoint functors in category theory as discussed further below. Other terminology encountered...

opposite category so that a contravariant functor C → D {\displaystyle C\to D} can be regarded as an ordinary functor of type C o p → D . {\displaystyle C^{op}\to...

Schlessinger (1967) and are sometimes called Lichtenbaum–Schlessinger functors T0, T1, T2, and the higher groups were defined independently by Michel...

in that category. Section 1.7 of Pareigis, Bodo (1970), Categories and functors, Pure and applied mathematics, vol. 39, Academic Press, ISBN 978-0-12-545150-5...

Z , Y {\displaystyle Z,Y} in C {\displaystyle \mathbf {C} } , then the functor ( − ) Y : C → C {\displaystyle (-)^{Y}\colon \mathbf {C} \to \mathbf {C}...

{\displaystyle {\mathcal {E}}} fibered over C {\displaystyle {\mathcal {C}}} by a functor π {\displaystyle \pi } whose fibers are the categories { F ( c ) } c ∈...

defined according to a functor F {\displaystyle F} , with specific properties as defined below. For both algebras and coalgebras, a functor is a convenient and...

{\displaystyle {\text{Ho}}({\textbf {Top}})} since the latter homotopy functor category has functors which picks out an object in Top {\displaystyle {\text{Top}}}...

and these algebraic laws may then be glued together in terms of a single functor F, the signature. F-algebras can also be used to represent data structures...

subcategory A of a category B is said to be reflective in B when the inclusion functor from A to B has a left adjoint. This adjoint is sometimes called a reflector...

space. In terms of category theory, the fundamental groupoid is a certain functor from the category of topological spaces to the category of groupoids. [...

allows the definition of a functor from the category of left R-modules to the category of left Mn(R)-modules. The inverse functor is defined by realizing...

theory is using functors on the category Art k {\displaystyle {\text{Art}}_{k}} of local Artin algebras over a field. A pre-deformation functor is defined...

the left Quillen functor and G is called the right Quillen functor. It is a consequence of the axioms that a left (right) Quillen functor preserves weak...

homotopic. Weak inverses can always be assigned coherently: one can define a functor on any 2-group G that assigns a weak inverse to each object, so that each...

there is a small ∞-category C and an (accessible) left exact localization functor from the ∞-category of presheaves of spaces on C to X. A theorem of Lurie...

This is called the inverse image functor. In the motivating example, this is just precompositition, so given a functor F I ∈ Hom _ ( I o p , A ) {\displaystyle...

are functions preserving this structure. There is a natural forgetful functor U : Meas → Set to the category of sets which assigns to each measurable...

into an abelian group. For M and N fixed, the map G ↦ LR(M, N; G) is a functor from the category of abelian groups to itself. The morphism part is given...

back to x {\displaystyle x} , where a model, a finite-product preserving functor, from this theory into a target category C {\displaystyle C} such as the...

category C is roughly the closure of C in some ambient category so that all functors preserve limits. For example, if a metric space is viewed as an enriched...

groups, in order to treat dualization as a functor and prove the identity functor and the dualization functor are not naturally equivalent. Also the duality...

the type signatures of some functions), and of Applicative as intermediate between Functor and Monad, are deviations from the Haskell 2010 standard....

be accomplished by looking at a successive sequence of categories and functors C 0 → C 1 → ⋯ → C n → C n + 1 → ⋯ {\displaystyle C_{0}\to C_{1}\to \cdots...

fundamental to mathematics". The (covariant) Yoneda embedding is a covariant functor from a small category A {\displaystyle {\mathcal {A}}} into the category...

In category theory, an abstract branch of mathematics, a dominant functor is a functor F : C → D in which every object of D is a retract of an object of...

\operatorname {H} ^{i}(X,-)} as the i-th right derived functor of the global section functor Γ ( X , − ) {\displaystyle \Gamma (X,-)} . Given a ringed...

This is the internal hom [x, y]. Every closed category has a forgetful functor to the category of sets, which in particular takes the internal hom to...

%g\n", sum); return 0; } Functors, or function objects, are similar to function pointers, and can be used in similar ways. A functor is an object of a class...

over rings. There is also a theory for Hochschild homology of certain functors. Hochschild cohomology was introduced by Gerhard Hochschild (1945) for...

a full, faithful and exact functor F: A → R-Mod (where the latter denotes the category of all left R-modules). The functor F yields an equivalence between...

a covariant additive functor from C to Ab should be considered a generalized left module over C. These functors form a functor category C-Mod, which...

group A / T {\displaystyle A/T} is torsion-free. There is a covariant functor from the category of abelian groups to the category of torsion groups that...

paracompact), the derived-functor cohomology agrees with this Čech cohomology obtained by direct limits. However, like the derived functor cohomology, this cover-independent...

result is that other coefficients A may be used, at the cost of using a Tor functor. For example, it is common to take A {\displaystyle A} to be Z / 2 Z {\displaystyle...

are functions preserving this structure. There is a natural forgetful functor U : T o p → S e t {\displaystyle U:\mathbf {Top} \to \mathbf {Set} } to...

{\displaystyle i} -th size functor, with i = 0 , … , n   {\displaystyle i=0,\ldots ,n\ } , denoted by F i   {\displaystyle F_{i}\ } , is the functor in F u n ( R o...

Frobenius adjunction iff also G ⊣ F {\displaystyle G\dashv F} . A functor F is a Frobenius functor if it is part of a Frobenius adjunction, i.e. if it has isomorphic...

free algebra on V, in the sense of being left adjoint to the forgetful functor from algebras to vector spaces: it is the "most general" algebra containing...

{\displaystyle X.} This category has a natural functor to the category of sets, namely the functor: F ( Y ) = Hom X ⁡ ( x , Y ) ; {\displaystyle F(Y)=\operatorname...

some twenty countries. He has contributed to the fields of calculus of functors, spaces of embeddings and immersions, configuration space integrals, finite...

In algebraic geometry, the tangent space to a functor generalizes the classical construction of a tangent space such as the Zariski tangent space. The...

and inverse axioms) a functor from schemes over S to the category of groups, such that composition with the forgetful functor to sets is equivalent to...

commutative ring R, the tensor functor ( − ⊗ R A ) {\displaystyle (-\otimes _{R}A)} is left adjoint to the internal Hom functor H o m ( A , − ) {\displaystyle...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

\operatorname {Env} _{L}^{L}} can be defined as a functor. In the following list all envelopes can be defined as functors. 1. The completion X ▾ {\displaystyle...

Grassmannian can be constructed as a scheme by expressing it as a representable functor. If E {\displaystyle {\mathcal {E}}} is a quasi-coherent sheaf on a scheme...

stabilization of an ∞-category C having finite limits and base point is a functor from the stable ∞-category S to C. It preserves limits. The objects in...

phenomena that remain after sufficiently many applications of the suspension functor. A founding result was the Freudenthal suspension theorem, which states...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

models or world-views is done using functors. Spivak coins the notions of a 'meaningful' and 'strongly meaningful' functors. Let C {\displaystyle {\mathcal...

algebras First-order logic Cylindric algebras Polyadic algebras Predicate functor logic Set theory Combinatory logic Relation algebra Boolean algebra...

{\displaystyle {\mathcal {A}}} is itself an abelian category, and the inclusion functor C → A {\displaystyle {\mathcal {C}}\to {\mathcal {A}}} is exact. The importance...

mathematics, exactness may refer to: Exact category Exact functor Landweber exact functor theorem Exact sequence Exactness of measurements Accuracy and...

scheme S, its Cartier dual is the group of characters, defined as the functor that takes any S-scheme T to the abelian group of group scheme homomorphisms...

adjoint functor f ! {\displaystyle f^{!}} , called twisted or exceptional inverse image functor, to a higher direct image with compact support functor R f...

functor that is an analogue of a subset. Let C {\displaystyle {\mathcal {C}}} be a category, and let F {\displaystyle F} be a contravariant functor from...

category Manp is a concrete category, meaning that there is a faithful functor from Manp to the category of sets. This can be seen by observing that its...

generalization both of K-homology and K-theory as an additive bivariant functor on separable C*-algebras. This notion was introduced by the Russian mathematician...

(also called the no-ghost theorem) is a theorem describing properties of a functor that quantizes bosonic strings. It is named after Peter Goddard and Charles...

In category theory, a branch of mathematics, certain unusual functors are denoted f ! {\displaystyle f_{!}} and f ! , {\displaystyle f^{!},} with the exclamation...

in SGA1, shows how to reconstruct the category of G-sets from a fibre functor Φ {\displaystyle \Phi } , which in the geometric setting takes the fibre...

The geometric realization of a Δ-set described above defines a covariant functor from the category of Δ-sets to the category of topological spaces. Geometric...

category C, it says: for each object x {\displaystyle x} in C, the natural functor (evaluation at the identity) Hom _ ( h x , F ) → F ( x ) {\displaystyle...

Generalizations Relation (Binary relation) Set-valued Multivalued Partial Implicit Space Higher-order Morphism Functor List of specific functions v t e...

In a locally small category, it is equivalent to require that the hom functor Hom C ⁡ ( − , Q ) {\displaystyle \operatorname {Hom} _{\mathbf {C} }(-...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

theory, where representable functors are clearly distinguished; Tate's rigid analytic spaces; Jaap Murre's work on functors to the category of groups;...

working in representation theory. He discovered Zuckerman functors and translation functors, and with Anthony W. Knapp classified the irreducible tempered...

The signalizer functor method for odd primes. The main problem is to prove a signalizer functor theorem for nonsolvable signalizer functors. This was solved...

fundamental construction associating a monad to a wide class of functors. The codensity monad of a functor G : D → C {\displaystyle G:D\to C} is defined to be the...

of the category being the bijections between these sets. A species is a functor F : B → B . {\displaystyle F\colon {\mathcal {B}}\to {\mathcal {B}}.} For...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

study the original linear map. This concept is generalised by adjoint functors. Let X # {\displaystyle X^{\#}} denote the algebraic dual space of a vector...

He is especially famous for developing the concept of the calculus of functors, often also named Goodwillie calculus. While studying at Harvard University...

(G,n)} between those functors is a natural transformation θ : F → G {\displaystyle \theta :F\to G} between the underlying functors such that the diagrams...

The reduced suspension is a functor from the category of pointed spaces to itself. This functor is left adjoint to the functor Ω {\displaystyle \Omega }...

mathematics, specifically in category theory, Day convolution is an operation on functors that can be seen as a categorified version of function convolution. It...

to the fundamental group of Y. More generally, in category theory, any functor by definition provides an induced morphism in the target category for each...

{\mathcal {F}}} under f, i.e., the derived functor of the direct image (also known as pushforward) functor f ∗ {\displaystyle f_{*}} . This map exists...

of representable functor can make that point more precise: an object is as good as its representable functor. Representable functors were defined explicitly...

Multigrade predicate Opaque predicate Philosophical predication Predicate functor logic Predicate variable Truthbearer Truth value Well-formed formula Lavrov...

underlying function. This functor is faithful, and therefore A b {\displaystyle \mathbf {Ab} } is a concrete category. The forgetful functor has a left adjoint...

field extensions of k with inclusions as morphisms. Consider a (covariant) functor F : Fields/k → Set. For a field extension K/k and an element a of F(K/k)...

resolution Injective resolution Koszul complex Exact functor Derived functor Ext functor Tor functor Filtration (abstract algebra) Spectral sequence Abelian...

necessary and sufficient conditions on deformation functors which prove the representability of these functors as either algebraic spaces or as algebraic stacks...

automorphisms which have been overcounted. A category c {\displaystyle c} with a functor to a category C {\displaystyle C} is called a fibered category over C {\displaystyle...

required adjunction—the morphism-part of the functor F can be derived from general considerations (see adjoint functors). The case of free meet-semilattices is...

an atom called a "functor" and a number of "arguments", which are again terms. Compound terms are ordinarily written as a functor followed by a comma-separated...

change of coordinate system Covariance and contravariance of functors, properties of functors General covariance or simply covariance (inaccurate but common...

\mathbf {1} } is (a functor that selects) a singleton set, and S e t {\displaystyle \scriptstyle {\mathbf {Set} }} (the identity functor of) the category...

of large matrices. K-theory involves the construction of families of K-functors that map from topological spaces or schemes, or to be even more general:...

In mathematics, particularly in the area of abstract algebra known as group theory, a characteristic subgroup is a subgroup that is mapped to itself by...

be a continuous map of topological spaces, which in particular gives a functor f ∗ {\displaystyle f_{*}} from sheaves of abelian groups on X {\displaystyle...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

category of the category of commutative rings under R.) The prime spectrum functor Spec then determines an anti-equivalence of this category to the category...

intersection formula. In the usual formulation, the formula involves the Tor functor and thus, unless higher Tor vanish, the scheme-theoretic intersection (i...

contravariant functor from the category of open subsets to sets. By analogy we define an étale presheaf on a scheme X to be a contravariant functor from Et(X)...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

from a small category to C has a limit; it is cocomplete if every such functor has a colimit Completeness (order theory), a notion that generally refers...

Equivalently, an R-module M is flat if the tensor product with M is an exact functor; that is if, for every short exact sequence of R-modules 0 → K → L → J...

Group representations are functors from groups, seen as one-object categories, into FinVect. DisCoCat models are monoidal functors from a pregroup grammar...

that the composition of two left adjoint functors is also a left adjoint functor. Here, the forgetful functor from commutative algebras to vector spaces...

equivalence, i.e. the above standard conjecture D, the functor H is an exact faithful tensor-functor. Applying the Tannakian formalism, one concludes that...

(-)^{a}} is an exact functor which has both the right adjoint functor M ↦ M ∗ {\displaystyle M\mapsto M_{*}} and the left adjoint functor M ↦ M ! {\displaystyle...

a morphism f : X → Y {\displaystyle f:X\to Y} of algebraic stacks is a functor such that q ∘ f = p {\displaystyle q\circ f=p} . More generally, one can...

duality functor DR gives an anti-equivalence between the categories of Artinian and Noetherian R-modules. In particular the duality functor gives an...

Torsion group, in group theory and arithmetic geometry Tor functor, the derived functors of the tensor product of modules over a ring Torsion-free module...

latest documentation". idris.readthedocs.org. "Benchmark results". ziman.functor.sk. "idris-lang/Idris2". GitHub. Retrieved 2021-04-11. Official website...

coefficients in X, and the higher cohomology groups are the derived functors of the functor of G-invariants. Given g in G and x in X with g⋅x = x, it is said...

F2(x,y) − F2(y,x) The natural functor from Lie groups or algebraic groups to Lie algebras can be factorized into a functor from Lie groups to formal group...

that the functor Ω−1 is actually an inverse to Ω. One important property of the stable module category is it allows defining the Ω functor for general...

(calculator key), to enter powers of 10 Extension (simplicial set), or Ex functor Extinct or EX, a conservation status ex, an author citation abbreviation...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

monoidal category. Cartesian categories with an internal Hom functor that is an adjoint functor to the product are called Cartesian closed categories. Cartesian...

think of cohomology as a functor from sheaves of abelian groups on X to abelian groups. In more detail, start with the functor E ↦ E(X) from sheaves of...

whole structure of Witten-type QFTs. The basic idea is that a TQFT is a functor from a certain category of cobordisms to the category of vector spaces...

graded algebra A over a commutative ring R, the derived tensor product functor is − ⊗ A L − : D ( M A ) × D ( A M ) → D ( R M ) {\displaystyle -\otimes...

determined by X. Let F be a presheaf on a category C; i.e., an object of the functor category C ^ = F c t ( C op , S e t ) {\displaystyle {\widehat {C}}=\mathbf...

X(S) is a functor from commutative R-algebras to sets. It is an important observation that a scheme X over R is determined by this functor of points....

existence (see FGA) connecting the descent question with the representable functor question in algebraic geometry in general, and the moduli problem in particular...

Intuitively, the Puppe sequence allows us to think of homology theory as a functor that takes spaces to long-exact sequences of groups. It is also useful...

homotopy equivalent. Then a functor on the category of topological spaces is homotopy invariant if it can be expressed as a functor on the homotopy category...

category, the contravariant functors from C to Set are often an important object of study. If A is an object of C, then the functor from C to Set that sends...

languages, proposed by Robinson & Lobel (2013) based on historical phonology, functors, and lexicon. Robinson & Lobel (2013:148) propose the following internal...

any category, a functor must induce a corresponding morphism. The pushforward is the morphism corresponding to the homology functor. We build the pushforward...

{Res} _{H}^{G}(V,\rho )\end{aligned}}} This functor acts as the identity on morphisms. There is a functor going in the opposite direction: Ind H G : Rep...

Generalizations Relation (Binary relation) Set-valued Multivalued Partial Implicit Space Higher-order Morphism Functor List of specific functions v t e...

adjoint to the inclusion functor I : Ring → Rng. Notice that Ring is not a reflective subcategory of Rng because the inclusion functor is not full. There are...

objects from B {\displaystyle {\mathcal {B}}} . There is a canonical exact functor Q : A → A / B {\displaystyle Q\colon {\mathcal {A}}\to {\mathcal {A}}/{\mathcal...

In linguistics, functional morphemes, also sometimes referred to as functors, are building blocks for language acquisition. A functional morpheme (as opposed...

Generalizations Relation (Binary relation) Set-valued Multivalued Partial Implicit Space Higher-order Morphism Functor List of specific functions v t e...

the functor category Funct ⁡ ( C , A ) {\displaystyle \operatorname {Funct} ({\mathcal {C}},{\mathcal {A}})} , consisting of all covariant functors from...

morphisms in C. In other words, it is the largest groupoid subcategory. As a functor C ↦ core ⁡ ( C ) {\displaystyle C\mapsto \operatorname {core} (C)} , the...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

Slovenia Hom-e Khosrow, a village in Iran Hom bundle, in topology Hom functor, in category theory Hom ⁡ ( V , K ) {\displaystyle \operatorname {Hom}...

category where the two functors are required to have the same domain category. If C and D are two categories and F and G are two functors from C to D, the inserter...

↦ S λ ( V ) {\displaystyle V\mapsto S^{\lambda }(V)} is a functor called the Schur functor. It generalizes the constructions of symmetric and exterior...

and is a functor of L. A cohomological invariant of G of dimension d taking values in a ΓK-module M is a natural transformation of functors (of L) from...

visualized with the commutative diagram: Functors between categories can also have a kernel. A (covariant) functor from a category C {\displaystyle {\mathbf...

correspondence (for regular singular connections): there is a functor Sol called the local solutions functor, that is an equivalence from the category of flat connections...

this context, the duality is often called Eckmann–Hilton duality. Adjoint functor Dual object Duality (mathematics) Opposite category Pulation square Jiří...

characterizing the shape of, a representation V defined as a functor, specifically an object of the functor category FinVctKF(Q) where F(Q) is the free category...

can be expressed by saying that localization is a functor that is left adjoint to a forgetful functor. More precisely, let C {\displaystyle {\mathcal {C}}}...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

Paris, France Alma mater École Normale Supérieure (Paris) Known for Picard functor Picard group Picard horn Picard modular group Picard modular surface Picard...

{\displaystyle {\mathcal {B}}} is called reflective, if the inclusion functor i : B → A {\displaystyle i\colon {\mathcal {B}}\rightarrow {\mathcal {A}}}...

\mathbf {Grp} } the left adjoint functor sending every monoid to the Grothendieck group of that monoid. The forgetful functor U : G r p → S e t {\displaystyle...

\circledast } ) is a closed symmetric monoidal category with the internal hom-functor ⊘ {\displaystyle \oslash } . The classifying space (geometric realization...

speak of an exact functor between exact categories exactly as in the case of exact functors of abelian categories: an exact functor F {\displaystyle F}...

particularly algebraic topology, cohomotopy sets are particular contravariant functors from the category of pointed topological spaces and basepoint-preserving...

in mathematics and theoretical physics Covariance and contravariance of functors, in category theory Covariance and contravariance (computer science), whether...

contravariant functor from the category of commutative rings to the category of locally ringed spaces. In fact it is the universal such functor, and hence...

Kan complex). Fix a Grothendieck universe. Then, roughly, a limit of a functor f : I → C {\displaystyle f:I\to C} amounts to the following isomorphism:...

functorspg 149 so that these functors form an equivalence of categories. The first functor is the normalized chain complex functor N : s Ab → Ch ≥ 0 ( Ab )...

f ∗ E {\displaystyle f^{*}E} over M . {\displaystyle M.} Inverse image functor – Construction in algebraic topology Pullback (category theory) Fibred...

R-module P is projective if and only if the covariant functor Hom(P, -): R-Mod → Ab is an exact functor, where R-Mod is the category of left R-modules and...

permitting loops is the comma category Set ↓ D where D: Set → Set is the functor taking a set s to s × s. The diagram is a schematic representation of the...

variety. In the language of representable functors one can state the above result as follows. The contravariant functor, which associates to each k-variety...

in the homotopy category). Let f : X → Y {\displaystyle f:X\to Y} be a functor between ∞-categories. Then we say f {\displaystyle f} is fully faithful...

algebraic groups. He introduced the Jantzen filtration and translation functors. Jantzen was born in 1948 in Störtewerkerkoog, Nordfriesland. He received...

Higher-order function Homomorphism Morphism Microfunction Distribution Functor Associative array Closed-form expression Elementary function Functional...

{\displaystyle {\mathcal {C}}} having enough injectives and an additive (covariant) functor F : C → D {\displaystyle F:{\mathcal {C}}\to {\mathcal {D}}} , an acyclic...

set-valued functor on the homotopy category of topological spaces. The term classifying space can also be used for spaces that represent a set-valued functor on...

quantifier can be understood as the left adjoint of a functor between power sets, the inverse image functor of a function between sets; likewise, the universal...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

G])\subseteq [H,H]} . This shows that the commutator subgroup can be viewed as a functor on the category of groups, some implications of which are explored below...

category if one can be continuously deformed to the other. There is a functor from Top to hTop that sends spaces to themselves and morphisms to their...

convention). Then each S {\displaystyle \mathbb {S} } -module determines a Schur functor on V e c t {\displaystyle {\mathsf {Vect}}} . This definition of S {\displaystyle...

dual operads. The special case of associative algebras gives back the functor A ↦ A ! {\displaystyle A\mapsto A^{!}} mentioned above. Zinbiel algebra...

with a model category structure such that weak equivalences are those functors that induce an equivalence of derived categories. Given a dg-category C...

ringed space. Recall that the functor of points view of scheme theory defines a scheme X {\displaystyle X} as a functor X : CAlg → Sets {\displaystyle...

National University. Lobel, Jason William. 2016. North Borneo Sourcebook: Vocabularies and Functors. University of Hawaii Press. ISBN 9780824857790 v t e...

to each other. The functor from Set to Cat that sends a set to the corresponding indiscrete category is right adjoint to the functor that sends a small...

they are expressions of the idea that the derivative is part of a functor. A functor is an operation on spaces and functions between them. It associates...

{\displaystyle {\underline {\operatorname {Hom} }}(L,{\mathcal {O}}_{X})} . The functor from OX-modules to OX-modules defined by F ↦ F ⊗ O X L {\displaystyle F\mapsto...

{\displaystyle \mathrm {Set} ^{C^{op}}} (i.e. the functor category consisting of all contravariant functors from C {\displaystyle C} to S e t {\displaystyle...

symmetric monoidal functors of the cobordism category and the objects of C {\displaystyle {\mathcal {C}}} . Symmetric monoidal functors from the cobordism...

not used much as it is not subcanonical; in other words, representable functors need not be sheaves. Unfortunately the terminology for flat topologies...

The map Gode {\displaystyle \operatorname {Gode} } can be turned into a functor because a map between two sheaves induces maps between their stalks. Finally...

functor Ω {\displaystyle \Omega } from the category of topological spaces and continuous maps to the category of locales. If we restrict this functor...

conditions discussed below) certain derived image functors for sheaves are actually adjoint functors. There are two versions. Global Verdier duality states...

formation of the unit group defines a functor from the category of rings to the category of groups. This functor has a left adjoint which is the integral...

rigid category such that ( )**, the functor of taking the dual twice repeated, is isomorphic to the identity functor. Then for any right rigid object X...

source of spectral sequences Exact sequences, in homological algebra Exact functor, a function which preserves exact sequences All pages with titles beginning...

property that makes I {\displaystyle I} a free functor in the sense: it is left adjoint to the forgetful functor from the category of dcpos to the category...

but it is finitely complete. There is no coproduct in Met. The forgetful functor Met → Set assigns to each metric space the underlying set of its points...

recently extended in algebraic topology via representable functors and the fundamental groupoid functor. Mathematics portal Anabelian geometry Grothendieck's...

morphism f : X → Y {\displaystyle f\colon X\rightarrow Y} in it, there is a functor f ∗ : Y ∖ M → X ∖ M {\displaystyle f^{*}\colon Y\backslash {\mathcal {M}}\rightarrow...

type in question is defined as the greatest fixed point ν X . F X of a functor F. By the universal property of final coalgebras, there is a unique coalgebra...

category is a category C {\displaystyle {\mathcal {C}}} together with a functor F : C → A {\displaystyle F\colon {\mathcal {C}}\rightarrow {\mathcal {A}}}...

algebraic topology, a theorem of Milnor says that the geometric realization functor from the homotopy category of the category Kan of Kan complexes to the...

application in algebraic geometry also known as base change) induce adjoint functors, which with the model structures can even become Quillen adjunctions. Let...

commonly known as mahseers Target of rapamycin, a regulatory enzyme Tor functor, in mathematics Tor (network), an Internet communication method for enabling...

functor from the category of CW-complexes to the category of sets by assigning to each CW-complex X the set of principal G-bundles on X. This functor...

Lobel, Jason William (2016). North Borneo sourcebook: vocabularies and functors. PALI Language Texts: Southeast Asia. Honolulu: University of Hawaiʻi Press...

complexification is a functor VectR → VectC, from the category of real vector spaces to the category of complex vector spaces. This is the adjoint functor – specifically...

cohomology – Weil cohomology theory for schemes X over a base field k Delta-functor – Functor between abelian categories Derivator Derived category – Homological...

introduced by Makkai (1996) for ordinary categories that is a generalization of functors. In category theory, some statements require the axiom of choice, but the...

operation. The Standard Template Library accepts these objects (called functors) as parameters. Many dynamic languages, such as JavaScript, Lua, Python...

construction is a functor from the category of rings to the category of abelian groups. The higher K-theory should then be a functor from the category...

the cotangent complex as given by taking the (non-abelian) left derived functor of Kähler differentials. Luc Illusie then globalized this definition to...

Generalizations Relation (Binary relation) Set-valued Multivalued Partial Implicit Space Higher-order Morphism Functor List of specific functions v t e...

denotes the quotient space. The Alexandroff extension can be viewed as a functor from the category of topological spaces with proper continuous maps as...

(see Ext functor for the definition of Ext). Equivalently, these are the right derived functors of the left exact invariant submodule functor M ↦ M g :=...

exp1m – exponential minus 1 function. (Also written as expm1.) Ext – Ext functor. ext – exterior. extr – a set of extreme points of a set. FFT – fast Fourier...

the reduction of the abelian variety is ordinary, using the Greenberg functor; then John Tate gave a proof in the general case by a different method...

Generalizations Relation (Binary relation) Set-valued Multivalued Partial Implicit Space Higher-order Morphism Functor List of specific functions v t e...

{O}}(X)^{op}}\to Sh(X)} (because the sheafification functor is left adjoint to the inclusion functor S h ( X ) → S e t O ( X ) o p {\displaystyle Sh(X)\to...

biology lim ← ⁡ 1 {\displaystyle \varprojlim {}^{1}} , the first derived functor of the inverse limit This disambiguation page lists articles associated...

free objects) is a functor from the category of sets to the category of groups. This functor is left adjoint to the forgetful functor from groups to sets...

Michael H.; Larsen, Michael; Wang, Zhenghan (1 June 2002). "A Modular Functor Which is Universal for Quantum Computation". Communications in Mathematical...

endomorphism of a Lie algebra Adjoint representation of a Lie group Adjoint functors in category theory Adjunction (field theory) Adjunction formula (algebraic...

mixed-characteristic local fields. Section conjecture Class field theory Fiber functor Neukirch–Uchida theorem Belyi's theorem Inter-universal Teichmüller theory...

method Schur complement Schur-convex function Schur decomposition Schur functor Schur index Schur's inequality Schur's lemma (from Riemannian geometry)...

Generalizations Relation (Binary relation) Set-valued Multivalued Partial Implicit Space Higher-order Morphism Functor List of specific functions v t e...

{\textbf {Set}}} is the forgetful functor, meaning R ( − ) {\displaystyle R^{(-)}} is a left adjoint of the forgetful functor. Many statements true for free...

be the diagonal functor from Top to the functor category TopJ (this functor sends each space X {\displaystyle X} to the constant functor to X {\displaystyle...

universal cover), then every functor Π 1 X → S e t {\displaystyle \Pi _{1}X\to \mathbf {Set} } is of the above form; i.e., the functor category F c t ( Π 1 X...

in degrees i > n {\displaystyle i>n} . More precisely, the restriction functor i ∗ : Δ o p S e t s → Δ ≤ n o p S e t s {\displaystyle i_{*}:\Delta ^{op}Sets\rightarrow...

category of elements of the Hom functor, the twisted diagonal of an ∞-category can be used to define the Hom functor of an ∞-category. For a simplicial...

Baer ring Baer–Suzuki theorem Baer–Specker group Injective module Ext functor Scientific career Fields Mathematics Institutions University of Illinois...

in category theory Monoidal functor, between monoidal categories Monoidal natural transformation, between monoidal functors Monoidal transformation, in...

Scott So-called Fundamental theorem of topology: The section-functor Γ and the germ-functor Λ establish a dual adjunction between the category of presheaves...

cohomology operations, which are natural transformations between cohomology functors, which in turn define Steenrod algebra. List of things named after Élie...

As with many induced mappings, this construction has the structure of a functor, on the category of measurable spaces. For the special case of probability...

covariant functors and contravariant functors. The assignment of the dual space to a vector space is a standard example of a contravariant functor. Contravariant...

This correction factor is expressed in terms of the Tor functor, the first derived functor of the tensor product. When R is a PID, then the correct statement...

algebra is not unital, it may be made so in a standard way (see the adjoint functors page); there is no essential difference between modules for the resulting...

theory, the functor that sends ( X , τ ) {\displaystyle (X,\tau )} to ( X , ρ ) {\displaystyle (X,\rho )} is left adjoint to the inclusion functor CReg → Top...

abbreviated form of extension in telephony, commonly written as "ext." Ext functor, used in the mathematical field of homological algebra Ext (JavaScript...

a generator. Note that this definition then reduces to saying that the functor Hom ( G , − ) : C → Set {\displaystyle {\text{Hom}}(G,-)\colon C\to {\textbf...

products, the full subcategory Alg(T, E) of the category of functors [T, E] consisting of those functors that preserve finite products is called the category...

of the composition of two derived functors. Indeed, H ∗ ( G , − ) {\displaystyle H^{*}(G,-)} is the derived functor of ( − ) G {\displaystyle (-)^{G}}...

Generalizations Relation (Binary relation) Set-valued Multivalued Partial Implicit Space Higher-order Morphism Functor List of specific functions v t e...

functor logic. While the expressive power of combinatory logic typically exceeds that of first-order logic, the expressive power of predicate functor...

Quantum logic Mackey topology Mackey space Mackey–Arens theorem Mackey functor Mackey–Borel structure Awards Leroy P. Steele Prize (1975) Scientific career...

(mathematics) Equivalent definitions of mathematical structures Forgetful functor Intuitionistic type theory Isomorphism Mathematical object Space (mathematics)...

this way – is due to Grothendieck, and is often called the method of the functor of points. Suppose C is any category and A, T are two objects of C. A T-valued...

right Kan extension of the identity functor of the category CHaus of compact Hausdorff spaces along the inclusion functor of CHaus into the category Top of...

in 1999, who constructed it using algebras over the complex numbers and functors from categories of certain rings. In 2000, Zhu proposed that F1 was the...

quasi-inverse of the weights functor is given by a dualization functor from free abelian groups to tori, defined by its functor of points as: D ( M ) S (...

properties can be dualized. An embedding can also refer to an embedding functor. Embedding (machine learning) Ambient space Closed immersion Cover Dimensionality...

Schlessinger's theorem about representable functors of Artinian algebras and introduced Lichtenbaum–Schlessinger functors in deformation theory. In 2012 he became...

{C} } be the category of integral domains and injective ring maps. The functor from C {\displaystyle \mathbf {C} } to the category of fields that takes...

parametrization of functors by allowing functors to be components of structures, in addition to Standard ML's parametric modules in the form of functors. Successor...

different algebraic varieties are connected by pullback and pushforward functors comparable to the ones for coherent sheaves. For a map f: X → Y of smooth...

category of simplicial sets s S e t {\displaystyle \mathbf {sSet} } , hence functors Δ o p → s S e t {\displaystyle \Delta ^{\mathrm {op} }\rightarrow \mathbf...

adjoint to the push-forward; the composition operator is the inverse image functor. Since the domain considered here is that of Borel functions, the above...

the functor W {\textstyle W} by appealing to the adjoint functor theorem. One further has that W {\textstyle W} restricts to a fully faithful functor on...

Standard ML (1984) has one of the most complete module systems, including functors (parameterized modules) to map between modules. In the 1980s and 1990s...

Complete Concrete Forgetful functor Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived Diagonal...

is a category of topological spaces with extra structure. A forgetful functor between categories of algebraic structures "forgets" a part of a structure...

two binary functors (namely, binegation and the Sheffer stroke) each of which is sufficient for defining all other unary and binary functors of classical...

"Emmy Noether's 'Set Theoretic' Topology: From Dedekind to the rise of functors". The Architecture of Modern Mathematics: Essays in history and philosophy...

Each species of structures leads to a functor from Set* to itself. Example. For the species of groups, the functor F maps a set X to the set F(X) of all...

speech that cannot be inflected, and a modern meaning, as a function word (functor) associated with another word or phrase in order to impart meaning. Although...

above theorem is that for any connected smooth manifold M, the section functor Γ from the category of smooth vector bundles over M to the category of...

topology, or a piecewise linear manifold, or one of several different functors from either the category of sets or the category of simplicial sets to...

w u = w v {\displaystyle wu=wv} . A filtered colimit is a colimit of a functor F : J → C {\displaystyle F:J\to C} where J {\displaystyle J} is a filtered...

defines a functor from the category of Lie groupoids and their morphisms to the category of Lie algebroids and their morphisms, called the Lie functor. Let...

And more generally the application of any covariant functor, where no doubt exists over which functor is meant. as a unary operator, written as a superscript...

An example relation is: (transmit (what from to)). This relation has a functor transmit and takes three arguments: what, from, and to. Attribute predicates...

finite meets and arbitrary joins of these subframes. This shows that O is a functor from the category Top of topological spaces to Loc, taking any continuous...

approach, based on parameterized generic code, include parametric modules (functors) of the ML languages, and C++ allocators for memory management policy....

y, or x followed by y. x [ function_expression ] Execute the function/functor returned by function_expression, if x matched. ( x ) Match x (can be used...

and Norman Steenrod. One can define a homology theory as a sequence of functors satisfying the Eilenberg–Steenrod axioms. The axiomatic approach, which...

finitary algebraic category V, the forgetful functor G : V → Set has a left adjoint F : Set → V, namely the functor that assigns to each set the free algebra...

called the monster Lie algebra, is constructed from V using a quantization functor. It is a generalized Kac–Moody Lie algebra with a monster action by automorphisms...

{1} } is an indecomposable projective object—the functor it represents (the global-section functor) preserves epimorphisms and coproducts. There are...

nicely using the language of category theory. There is a contravariant functor T : T o p → S e t {\displaystyle T:\mathbf {Top} \to \mathbf {Set} } from...

∗ {\displaystyle R^{n}f_{*}} is the n-th derived functor of the direct image. This derived functor measures the n-th cohomologies of f − 1 ( U ) {\displaystyle...

E. Bredon, is a type of equivariant cohomology that is a contravariant functor from the category of G {\displaystyle G} -complexes with equivariant homotopy...

_{2}(\mathbb {Q} _{p})} , via the construction of a functor (known as "Colmez's functor" or "Colmez's Montreal functor") from representation of G L 2 ( Q p ) {\displaystyle...

\Omega ^{2}BU} of BU. Here, Ω {\displaystyle \Omega } is the loop space functor, right adjoint to suspension and left adjoint to the classifying space...

topological spaces) taking values in simplicial sets (i.e., a contravariant functor from the site to the category of simplicial sets). Equivalently, a simplicial...

an additive category, then a C-valued Mackey functor is an additive functor from A(G) to C. Mackey functors are important in representation theory and stable...

S. This conversion of any semigroup to the monoid is done by the free functor between the category of semigroups and the category of monoids. Thus, an...

by "separated scheme", and heavily emphasizes the use of representable functors. The new preface of the second edition also includes a slightly revised...

directions. It can be constructed as the category of elements of the Hom functor, which makes the twist come from the fact that it is contravariant in the...

the various (equivalent) definitions of when two functors are adjoint. Our F easily extends to a functor Set → BA, and our definition of X generating a...