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

Séance de cours

Introduction aux catégories

Description

Cette séance de cours introduit le concept de catégories en tant que graphiques dirigés avec des fonctions de composition satisfaisant des axiomes spécifiques, y compris l'existence d'identités et d'associativité, essentielle pour comprendre la théorie de groupe.

Source officielle

Proximité ontologique

Mathématiques

Mathématiques discrètes: Théorie des graphes

Concepts associés (32)

Graphe orienté

thumb|Un graphe orienté .(Figure 1) Dans la théorie des graphes, un graphe orienté est un couple formé de un ensemble, appelé ensemble de nœuds et un ensemble appelé ensemble d'arêtes. Les arêtes sont alors nommées arcs, chaque arête étant un couple de noeuds, représenté par une flèche. Étant donné un arc , on dit que est l'origine (ou la source ou le départ ou le début) de et que est la cible (ou l'arrivée ou la fin) de . Le demi-degré extérieur (degré sortant) d'un nœud, noté , est le nombre d'arcs ayant ce nœud pour origine.

Graphe orienté acyclique

En théorie des graphes, un graphe orienté acyclique (en anglais directed acyclic graph ou DAG), est un graphe orienté qui ne possède pas de circuit. Un tel graphe peut être vu comme une hiérarchie. Un graphe orienté acyclique est un graphe orienté qui ne possède pas de circuit. On peut toujours trouver un sous-graphe couvrant d’un graphe orienté acyclique qui soit un arbre (resp. une forêt). Dans un graphe orienté acyclique, la relation d'accessibilité R(u, v) définie par « il existe un chemin de u à v » est une relation d'ordre partielle.

Graphe cycle

Les graphes cycles, ou n-cycles, forment une famille de graphes. Le graphe cycle est constitué d'un unique cycle élémentaire de longueur n (pour ). C'est un graphe connexe non-orienté d'ordre n à n arêtes. Il est 2-régulier, c'est-à-dire que chacun de ses sommets est de degré 2. Beaucoup de termes sont employés pour désigner le graphe cycle : n-cycle, polygone et n-gone. Le terme de graphe cyclique est parfois employé, mais il pose problème car il s'oppose normalement à graphe acyclique. Nombre chromatique.

Axiome

Un axiome (en ἀξίωμα /axioma, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de άξιόω (axioô), « juger convenable, croire juste ») est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique. Pour Euclide et certains philosophes grecs de l’Antiquité, un axiome était une affirmation qu'ils considéraient comme évidente et qui n'avait nul besoin de démonstration.

Line graph

En théorie des graphes, le line graph L(G) d'un graphe non orienté G, est un graphe qui représente la relation d'adjacence entre les arêtes de G. Le nom line graph vient d'un article de Harary et Norman publié en 1960. La même construction avait cependant déjà été utilisée par Whitney en 1932 et Krausz en 1943. Il est également appelé graphe adjoint. Un des premiers et des plus importants théorèmes sur les line graphs est énoncé par Hassler Whitney en 1932, qui prouve qu'en dehors d'un unique cas exceptionnel, la structure de G peut être entièrement retrouvée à partir de L(G) dans le cas des graphes connexes.

Afficher plus

Séances de cours associées (54)

Inférence causale & Graphiques dirigés

Explore l'inférence causale, les graphiques dirigés et l'équité dans les algorithmes, en mettant l'accent sur l'indépendance conditionnelle et les implications des GAD.

Catégories: Functors, et Transformations naturelles

Introduit des catégories, des exemples concrets, des catégories opposées et des isomorphismes, conduisant à des groupoïdes.

Graphiques dirigés : Introduction et catégories

Couvre la notion fondamentale de composition dans les graphiques dirigés et fournit des exemples de leur représentation.

Algorithmes graphiques : Modélisation et transversalité

Couvre les algorithmes graphiques, la modélisation des relations entre les objets et les techniques de traversée telles que BFS et DFS.

Connectivité dans la théorie des graphiques

Couvre les fondamentaux de la connectivité dans la théorie des graphiques, y compris les chemins, les cycles et les arbres qui s'étendent.

Afficher plus

Concepts associés (32)

Graphe orienté

Graphe orienté acyclique