Functors

Smooth functor

In differential topology, a branch of 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 that it sends smoothly parameterized families of vector spaces to smoothly parameterized families of vector spaces. Smooth functors may therefore be uniquely extended to functors defined on vector bundles. Let Vect be the category of finite-dimensional real vector spaces whose morphisms consist of all linear mappings, and let F be a covariant functor that maps Vect to itself. For vector spaces T, U ∈ Vect, the functor F induces a mapping where Hom is notation for Hom functor. If this map is smooth as a map of infinitely differentiable manifolds then F is said to be a smooth functor. Common smooth functors include, for some vector space W: F(W) = ⊗nW, the nth iterated tensor product;F(W) = Λn(W), the nth exterior power; andF(W) = Symn(W), the nth symmetric power. Smooth functors are significant because any smooth functor can be applied fiberwise to a differentiable vector bundle on a manifold. Smoothness of the functor is the condition required to ensure that the patching data for the bundle are smooth as mappings of manifolds. For instance, because the nth exterior power of a vector space defines a smooth functor, the nth exterior power of a smooth vector bundle is also a smooth vector bundle. Although there are established methods for proving smoothness of standard constructions on finite-dimensional vector bundles, smooth functors can be generalized to categories of topological vector spaces and vector bundles on infinite-dimensional Fréchet manifolds. (Wikipedia).

Video thumbnail

11_3_7 A Smooth Function

Prerequisites of a smooth function.

From playlist Advanced Calculus / Multivariable Calculus

Video thumbnail

Manifolds 2.2 : Examples and the Smooth Manifold Chart Lemma

In this video, I introduce examples of smooth manifolds, such as spheres, graphs of smooth functions, real vectorspaces, linear map spaces, and the Grassmannian of real vectorspaces (G_k(V)). Email : fematikaqna@gmail.com Code : https://github.com/Fematika/Animations Notes : None yet Play

From playlist Manifolds

Video thumbnail

Hyperbola 3D Animation | Objective conic hyperbola | Digital Learning

Hyperbola 3D Animation In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other an

From playlist Maths Topics

Video thumbnail

Categories 2: Functors

This lecture is part of an online course on category theory. We define functors and give some examples of them. For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj51F9XZ_Ka4bLnQoxTdMx0AL

From playlist Categories for the idle mathematician

Video thumbnail

Smooth Transition Function in One Dimension | Smooth Transition Function Part 1

#SoME2 This video gives a detailed construction of transition function for various levels of smoothness. Sketch of proofs for 4 theorems regarding smoothness: https://kaba.hilvi.org/homepage/blog/differentiable.htm Faà di Bruno's formula: https://en.wikipedia.org/wiki/Fa%C3%A0_di_Bruno%2

From playlist Summer of Math Exposition 2 videos

Video thumbnail

Manifolds 2.3 : Smooth Maps and Diffeomorphisms

In this video, I introduce examples and properties of smooth maps, and show the invariance theorems for diffeomorphisms. Email : fematikaqna@gmail.com Code : https://github.com/Fematika/Animations Notes : None yet Playlist :

From playlist Manifolds

Video thumbnail

Daxin Xu - Parallel transport for Higgs bundles over p-adic curves

Faltings conjectured that under the p-adic Simpson correspondence, finite dimensional p-adic representations of the geometric étale fundamental group of a smooth proper p-adic curve X are equivalent to semi-stable Higgs bundles of degree zero over X. We will talk about an equivalence betwe

From playlist Franco-Asian Summer School on Arithmetic Geometry (CIRM)

Video thumbnail

David Ayala: Factorization homology (part 2)

The lecture was held within the framework of the Hausdorff Trimester Program: Homotopy theory, manifolds, and field theories and Introductory School (7.5.2015)

From playlist HIM Lectures 2015

Video thumbnail

Jacob Lurie: A Riemann-Hilbert Correspondence in p-adic Geometry Part 2

At the start of the 20th century, David Hilbert asked which representations can arise by studying the monodromy of Fuchsian equations. This question was the starting point for a beautiful circle of ideas relating the topology of a complex algebraic variety X to the study of algebraic diffe

From playlist Felix Klein Lectures 2022

Video thumbnail

Robert Cass: Perverse mod p sheaves on the affine Grassmannian

28 September 2021 Abstract: The geometric Satake equivalence relates representations of a reductive group to perverse sheaves on an affine Grassmannian. Depending on the intended application, there are several versions of this equivalence for different sheaf theories and versions of the a

From playlist Representation theory's hidden motives (SMRI & Uni of Münster)

Video thumbnail

Algebraic Spaces and Stacks: Representabilty

We define what it means for a functor to be representable. We define what it means for a category to be representable.

From playlist Stacks

Video thumbnail

Surface with Square Cross Sections

Surface with square cross sections and modifiable base: https://www.geogebra.org/m/mcfmabak #GeoGebra #math #geometry #calculus #AugmentedReality

From playlist Calculus: Dynamic Interactives!

Video thumbnail

Generalized Conway Game of Life - SmoothLife4

Oscillatory structures are also possible.

From playlist SmoothLife

Video thumbnail

Marc Levine - "The Motivic Fundamental Group"

Research lecture at the Worldwide Center of Mathematics.

From playlist Center of Math Research: the Worldwide Lecture Seminar Series

Video thumbnail

Fractals are typically not self-similar

An explanation of fractal dimension. Help fund future projects: https://www.patreon.com/3blue1brown An equally valuable form of support is to simply share some of the videos. Special thanks to these supporters: https://3b1b.co/fractals-thanks And by Affirm: https://www.affirm.com/careers H

From playlist Explainers

Video thumbnail

Duality In Higher Categories IV by Pranav Pandit

PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics

From playlist Dualities in Topology and Algebra (Online)

Related pages

Fréchet manifold | Symmetric power | Functor | Topological vector space | Synthetic differential geometry | Smooth infinitesimal analysis | Hom functor | Vector space | Tensor product | Real number | Vector bundle | Category (mathematics) | Differential topology | Differentiable manifold