Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Untitled

Official source

https://switch-video-production.os.zhdk.cloud.switch.ch/transcoding/78/e2/f75cb867609786b1adf43a208460/h264-1080p.mp4?X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=c70ce910fb73491f9933421af7a4fcee%2F20240725%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Date=20240725T135444Z&X-Amz-Expires=86400&X-Amz-SignedHeaders=host&X-Amz-Signature=1533ad0b53e1625329cd7fcd28ee4c99d8ac7625e51f22bca2e821715b1b0cf1

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (32)

Dual object

In , a branch of mathematics, a dual object is an analogue of a dual vector space from linear algebra for in arbitrary . It is only a partial generalization, based upon the categorical properties of duality for finite-dimensional vector spaces. An object admitting a dual is called a dualizable object. In this formalism, infinite-dimensional vector spaces are not dualizable, since the dual vector space V∗ doesn't satisfy the axioms. Often, an object is dualizable only when it satisfies some finiteness or compactness property.

Monoidal category

In mathematics, a monoidal category (or tensor category) is a equipped with a bifunctor that is associative up to a natural isomorphism, and an I that is both a left and right identity for ⊗, again up to a natural isomorphism. The associated natural isomorphisms are subject to certain coherence conditions, which ensure that all the relevant s commute. The ordinary tensor product makes vector spaces, abelian groups, R-modules, or R-algebras into monoidal categories. Monoidal categories can be seen as a generalization of these and other examples.

Category of modules

In algebra, given a ring R, the category of left modules over R is the whose are all left modules over R and whose morphisms are all module homomorphisms between left R-modules. For example, when R is the ring of integers Z, it is the same thing as the . The category of right modules is defined in a similar way. One can also define the category of bimodules over a ring R but that category is equivalent to the category of left (or right) modules over the enveloping algebra of R (or over the opposite of that).

Compact closed category

In , a branch of mathematics, compact closed categories are a general context for treating dual objects. The idea of a dual object generalizes the more familiar concept of the dual of a finite-dimensional vector space. So, the motivating example of a compact closed category is FdVect, the having finite-dimensional vector spaces as s and linear maps as s, with tensor product as the structure. Another example is , the category having sets as objects and relations as morphisms, with .

Universal property

In mathematics, more specifically in , a universal property is a property that characterizes up to an isomorphism the result of some constructions. Thus, universal properties can be used for defining some objects independently from the method chosen for constructing them. For example, the definitions of the integers from the natural numbers, of the rational numbers from the integers, of the real numbers from the rational numbers, and of polynomial rings from the field of their coefficients can all be done in terms of universal properties.

Related lectures (16)

Bases and Dimension MOOC: Linear Algebra (Part 1)

Explores bases, dimension, linear independence, and vector space properties.

Linear Algebra: Vector Spaces

Explores vector spaces, subspaces, bases, and linear combinations in R² and R³, including free and linked families.

Untitled

Hamilton-Jacobi Equation: Analytical Mechanics

Explores the Hamilton-Jacobi equation in analytical mechanics, focusing on eigenvalues, constants of motion, and system predictability.

Introduction to Finite Fields