Functor

An affine algebraic group over a field k is a representable covariant functor from the category of commutative algebras over k to the category of groups such that the representing algebra is finitely generated.

In the category of categories #92;mathbf#123;Cat#125; the objects are categories and the morphisms are functors.

1991, Natalie Wadhwa (translator), Yu. A. Brudnyǐ, N. Ya. Krugljak, Interpolation Functors and Interpolation Spaces, Volume I, Elsevier (North-Holland), page 143, Choosing for U the operation of closure, regularization or relative completion, we obtain from a given functor ℱ∈𝒥ℱ the functors ◌̅F: overrightarrow X→◌̅F( overrightarrow X),F⁰: overrightarrow X→F( overrightarrow X)⁰,Fᶜ: overrightarrow X→F( overrightarrow X)ᶜ.

Given a homotopical category X and a functor u#58;A#92;rightarrowB, a homotopical u-colimit (resp. u-limit) functor on X will be a homotopically terminal (resp. initial) Kan extension of the identity (50.2) along the induced diagram functor Xᵘ#58;Xᴮ#92;rightarrowXᴬ (47.1).

2009, Benoit Fresse, Modules Over Operads and Functors, Springer, Lecture Notes in Mathematics: 1967, page 35, In this chapter, we recall the definition of the category of Σ_*-objects and we review the relationship between Σ_*-objects and functors. In short, a Σ_*-object (in English words, a symmetric sequence of objects, or simply a symmetric object) is the coefficient sequence of a generalized symmetric functor S(M):X→S(M,X), defined by a formula of the form S(M,X)=⨁ ᪲ᵣ₌₀(M(r)⊗X)_(Σᵣ).