Site Navigation
Categories:
category theory
category of small categories
categories
category of groups
category of vector spaces
category of abelian groups
Functors

Summary Of: Functor

a functor is a linguistic item... a functor is a particular kind of function... A functor from a category to itself is called an... Such a functor is called a... to the constant functor at that object... The existence of this functor can be proved by realizing that it is the right... adjoint to the diagonal functor and invoking the Freyd adjoint functor theorem... its dual or transpose is a contravariant functor from the category of all vector spaces over a fixed... We thus obtain a functor from the category of pointed topological spaces to the... a contravariant functor from the category of... is a covariant functor from the category of differentiable manifolds to the category of... This is a functor which is contravariant in the first and covariant in the second argument... a bifunctor is a functor whose domain is a... the Hom functor is of the type... functor is a multifunctor with... a functor between categories whose hom... under a functor that is only half... a functor every object of whose codomain is isomorphic to the image of an object in the...

Encyclodia Page On: Functor

These Are Links To Other Documents
Function object | Function word | category theory | mathematics | morphisms | category of small categories | algebraic topology | fundamental group | topological spaces | homomorphisms | continuous | Carnap | categories | dual category | diagonal functor | index category | limit | axiom of choice | power set | inverse image | vector space | dual space | linear map | field | pointed topological spaces | continuous | fundamental group | group | homotopy | pointed spaces | equivalence relation | group homomorphism | category of groups | groupoid | topological spaces | associative algebras | algebra homomorphism | differentiable manifold | tangent bundle | smooth map | derivative | vector bundles | cotangent bundle | pullback | group | group action | category of vector spaces | linear representation | Lie group | Lie algebra | linear maps | tensor product | group | group homomorphism | forgetful functors | ring | abelian group | ring homomorphisms | free group | free object | abelian groups | group homomorphisms | category of abelian groups | Hom functor | representable functors | topological space | open sets | partially ordered set | presheaves | associative algebra | axioms | commutative diagram | isomorphism | monoid | homomorphisms | Hom functor | product category | functor category | natural transformations | universal properties | tensor product | direct sum | direct product | direct | inverse | limit and colimit | adjoint functors | | Wiktionary | Additive functor | abelian groups | Adjoint functors | Derived functor | short exact sequence | long exact sequence | Enriched functor | Essentially surjective functor | Exact functor | short exact sequences | Faithful functor | injective | Full functor | surjective | smooth | Diagram (category theory) | Functor category | Kan extension | | Category theory portal | S. Mac Lane | Category | Functors |
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Functor".