Lecture

Functors: Assigning Morphisms and Dual Spaces

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

In course

MATH-323: Topology III - Homology

Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is to introduce this notion, understand its properties and learn how to compute it. There will be m ...

Description

This lecture covers the concept of functors, which are mappings between categories that assign to each object in one category an object in another category, and to each morphism in the first category a morphism in the second category. The lecture explains the notion of homology functors, contravariant functors, and the assignment of dual spaces to vector spaces. It also delves into the composition of functors and the properties of functors in different categories.

Instructor

Leonid Monin

Teaching & PhD Courses Algebra III - rings and fields MATH-215 This is an introductory course in ring and field theory. Analysis I (English) MATH-101(en) We study the fundamental concepts of analysis, calculus and the integral of real-valued functions of a real variable. Topology III - Homology MATH-323 Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is

Official source

Related concepts (32)

Functor

In mathematics, specifically , a functor is a mapping between . Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and maps between these algebraic objects are associated to continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which is applied.

Adjoint functors

In mathematics, specifically , adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems (i.e.

Forgetful functor

In mathematics, in the area of , a forgetful functor (also known as a stripping functor) 'forgets' or drops some or all of the input's structure or properties 'before' mapping to the output. For an algebraic structure of a given signature, this may be expressed by curtailing the signature: the new signature is an edited form of the old one. If the signature is left as an empty list, the functor is simply to take the underlying set of a structure.

Hom functor

In mathematics, specifically in , hom-sets (i.e. sets of morphisms between ) give rise to important functors to the . These functors are called hom-functors and have numerous applications in category theory and other branches of mathematics. Let C be a (i.e. a for which hom-classes are actually sets and not proper classes). For all objects A and B in C we define two functors to the as follows: {| class=wikitable |- ! Hom(A, –) : C → Set ! Hom(–, B) : C → Set |- | This is a covariant functor given by: Hom(A, –) maps each object X in C to the set of morphisms, Hom(A, X) Hom(A, –) maps each morphism f : X → Y to the function Hom(A, f) : Hom(A, X) → Hom(A, Y) given by for each g in Hom(A, X).

Dual space

In mathematics, any vector space has a corresponding dual vector space (or just dual space for short) consisting of all linear forms on together with the vector space structure of pointwise addition and scalar multiplication by constants. The dual space as defined above is defined for all vector spaces, and to avoid ambiguity may also be called the . When defined for a topological vector space, there is a subspace of the dual space, corresponding to continuous linear functionals, called the continuous dual space.

Related lectures (46)

Limits and Colimits in Functor Categories

Explores limits and colimits in functor categories, focusing on equalizers, pullbacks, and their significance in category theory.

Group Morphisms: G-equivariant, Chapter III

Discusses the formulation of G-morphisms within vector spaces and topological spaces.

Vector Spaces: Definitions and Examples

Covers vector spaces, subspaces, linear independence, and spans in finite-dimensional spaces.

Adjunctions and Limits: Exploring Functors and Co-limits

Covers adjunctions and limits, focusing on functors, co-limits, and their applications in category theory.

Quantum Physics I