Diagramme commutatif

Résumé

En mathématiques, et plus spécialement dans les applications de la théorie des catégories, un diagramme commutatif est un diagramme d'objets et de morphismes tels que, si l'on suit à travers le diagramme un chemin d'un objet à un autre, le résultat par composition des morphismes ne dépend que de l'objet de départ et de l'objet d'arrivée. Exemples

Cette définition peut être visualisée par le dessin élémentaire ci-contre. On se place dans la catégorie Ens. Les objets sont les ensembles A, B et C en réalité tous égaux ici à {1,2,3,4}. Les flèches sont les applications f, g et h de Hom(A,A):=AA, elles-mêmes représentées par des diagrammes sagittaux. Par exemple f=(A,A,G) avec G:={(1,1),(2,3),(3,1),(4,2)} le graphe fonctionnel de f. Ce sont des constructions abstraites de la théorie des ensembles, mais que l'on visualise fort bien sur le dessin fourni. Ce dessin montre en outre qu'il revient au même d'aller directement de l'ensemble A à l'ensemble C par la composée g∘f ou de

Source officielle

https://fr.wikipedia.org/wiki/Diagramme_commutatif

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (6)

Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés (24)

La théorie des catégories est l'étude des structures mathématiques et de leurs relations. Ce domaine est né du constat de l'abondance de caractéristiques partagées par diverses classes liées à des st

vignette|Dans un espace vectoriel, on peut additionner deux vecteurs. Par exemple, la somme du vecteur v (en bleu) et w (en rouge) est v + w. On peut aussi multiplier un vecteur, comme le vecteur w qu

In mathematics, a category (sometimes called an abstract category to distinguish it from a ) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the abilit

Afficher plus

Concepts associés

Chargement

Cours associés (9)

Cours associés

Chargement

Séances de cours associées (13)

Séances de cours associées

Chargement

Hopf algebras and Hopf-Galois extensions in infinity-categories

Aras Ergus

In this thesis, we study interactions between algebraic and coalgebraic structures in infinity-categories (more precisely, in the quasicategorical model of (infinity, 1)-categories). We define a notion of a Hopf algebra H in an E-2-monoidal infinity-category and lift some results about ordinary Hopf algebras, such as the fundamental theorem of Hopf modules, to this setting. We also study Hopf-Galois extensions in this context. Given a candidate Hopf-Galois extension, i.e., a map f : A -> B of H-comodule algebras where H coacts on A trivially, we construct a structured version of the comparison map B (x)_A B -> H (x) B that allows us to compare the category of descent data for f with a category of "B-modules equipped with a semilinear coaction of H". We provide further insights into the case of commutative (i.e., E-infinity) comodule algebras over a commutative Hopf algebra, for instance a description of the aforementioned category of modules equipped with a semilinear coaction as the limit of a "categorified cobar construction". Moreover, we provide a simple description of comodules over a space in slice categories of the infinity-category of spaces, which enables us to realize multiplicative Thom objects as comodule algebras and thus incorporate them into the aforementioned framework.

EPFL2022

Chargement

The special linear group G = SLn(Z[x(1), ... , x(k)]) (n at least 3 and k finite) is called the universal lattice. Let n be at least 4, and p be any real number in (1, infinity). The main result is the following: any finite index subgroup of G has the fixed point property with respect to every affine isometric action on the space of p-Schatten class operators. It is in addition shown that higher rank lattices have the same property. These results are a generalization of previous theorems respectively of the author and of Bader-Furman-Gelander-Monod, which treated a commutative L-p-setting.

Amer Mathematical Soc2013

Chargement

Unique decomposition of homogeneous languages and application to isothetic regions

Nicolas René Jean Ninin

A language is said to be homogeneous when all its words have the same length. Homogeneous languages thus form a monoid under concatenation. It becomes freely commutative under the simultaneous actions of every permutation group G(n) on the collection of homogeneous languages of length n is an element of N. One recovers the isothetic regions from (Haucourt 2017, to appear (online since October 2017)) by considering the alphabet of connected subsets of the space vertical bar G vertical bar, viz the geometric realization of a finite graph G. Factoring the geometric model of a conservative program amounts to parallelize it, and there exists an efficient factoring algorithm for isothetic regions. Yet, from the theoretical point of view, one wishes to go beyond the class of conservative programs, which implies relaxing the finiteness hypothesis on the graph G. Provided that the collections of n-dimensional isothetic regions over G (denoted by R-n vertical bar G vertical bar) are co -unital distributive lattices, the prime decomposition of isothetic regions is given by an algorithm which is, unfortunately, very inefficient. Nevertheless, if the collections R-n vertical bar G vertical bar satisfy the stronger property of being Boolean algebras, then the efficient factoring algorithm is available again. We relate the algebraic properties of the collections R-n vertical bar G vertical bar to the geometric properties of the space I GI. On the way, the algebraic structure R-n vertical bar G vertical bar is proven to be the universal tensor product, in the category of semilattices with zero, of n copies of the algebraic structure R-1 vertical bar G vertical bar.

2019

Chargement