Résultats de la recherche

...''<math>n</math>-monoïde''' est une <math>n</math>[[Théorie des catégories supérieures|-catégorie]] ayant une unique 0-cellule. En particulier, un 1-monoïde est u {{Palette Théorie des catégories}} ...

...s catégories|catégories]] utilisées pour traiter les cas où la composition des [[Morphisme|morphismes]] n'est pas (strictement) [[Associativité|associativ ...faibles]] en affaiblissant les [[Théorie des catégories supérieures|''n'' -catégories]]. ...

...logues en [[théorie des catégories supérieures]] des [[Catégorie abélienne|catégories abéliennes]]. ...s [[Limite (théorie des catégories)|les limites]] et [[Limite (théorie des catégories)|colimites]] finies<ref>{{Référence Harvard sans parenthèses|Lurie|loc=Prop ...

...telles généralisations est connue sous le nom de [[théorie des catégories supérieures]]. Les quasi-catégories ont été introduites par {{Lien|lang=de|J. Michael Boardman|texte=Boardman}} ...

...structure [[Catégorie monoïdale|monoïdale]] donnée par le produit de deux catégories. ...vent être composés suivant les objets. Il s'agit de la composition usuelle des morphismes dans une catégorie. ...

...es à l'aide de la [[topologie algébrique]], le plus souvent la [[Homotopie|théorie de l'homotopie]]. ...ntéressantes à propos de la catégorie d'origine <math>C</math>, ou sur des catégories reliées. ...

...des propriétés observées en [[algèbre]] dans [[théorie des groupes|l'étude des groupes]]. === La catégorie des groupes === ...

...l'[[homotopie]], notamment en comblant les défauts des [[catégorie dérivée|catégories dérivées]]. ...gories d'ordre supérieur]], tout en demeurant un objet de la [[théorie des catégories]] ordinaires. ...

...|points]] ; certains des « espaces » (appelés ''locales'') étudiés par la théorie ne contiennent aucun point au sens usuel. ...de [[distributivité]] correspondant à une propriété des ensembles ouverts des espaces topologiques. ...

...iatives]], mais qui ont été généralisées à des [[catégorie (mathématiques)|catégories]] plus générales. Elles ont été introduites par [[Gerhard Hochschild]] en 1 ...[[structure algébrique]]. Leur étude s'est révélée importante en [[théorie des cordes]] notamment. ...

..., ces [[Théorie des catégories|catégories]] sont [[Foncteur#Équivalence de catégories|équivalentes]]). ...ory|fr=Théorie quantique des champs topologique|texte=topologique}}, les [[Théorie de jauge|théories de jauge]], l'[[homologie de Floer]] et les [[Équation au ...

...ansformation naturelle|isomorphismes naturels]] de foncteurs qui possèdent des propriétés supplémentaires. Il faut noter que le but est d'étudier l'objet ...s principaux objets d'études sont des [[Module sur un anneau|modules]] sur des algèbres particulières et il existe plusieurs cadres pour ce que devrait êt ...

| domaines = [[Mathématiques]], [[théorie des catégories]] ..., [[Catégorie enrichie|catégories enrichies]], [[Distributeur (théorie des catégories)|distributeurs]] ...

...emple, une [[matrice diagonalisable]] dont toutes les valeurs propres sont des [[Racine de l'unité|racines de l'unité]] est quasi-unipotente. Dans la théorie des [[Groupe algébrique|groupes algébriques]], un élément d'un groupe est '''un ...

...nglais]] qui travaille principalement en [[topologie]] et en [[théorie des catégories]]. Il est [[professeur émérite]] à la ''School of Computer Science'' de l' ...93. Il joue un rôle déterminant dans le lancement, pour le pays de Galles, des ''Mathematics Masterclasses'', une institution royales d'encouragement pour ...

{{DISPLAYTITLE:Théorie homotopique des types}} ...rétation des types comme des objets auxquels l'intuition de la [[Homotopie|théorie de l'homotopie]] s'applique. ...

...= [[informatique théorique]], [[théorie des jeux|théorie algorithmique des jeux ]] | renommé pour = complétude [[PPAD (complexité)|PPAD]] des [[équilibre de Nash|équilibres de Nash]] ...

...ion|texte=Pour le théorème de {{Lien|Jonathan Mock Beck}} en [[théorie des catégories]], voir {{Lien|trad=Beck's monadicity theorem|Théorème de monadicité de Bec ...3|p.=281-297|doi=10.1007/BF02579184}}</ref>. Ils concernent principalement des minorants du nombre de [[Droite (mathématiques)|droites]] « déterminées » p ...

...]]) est un [[mathématicien]] et [[Philosophie des mathématiques|philosophe des mathématiques]] [[États-Unis|américain]]. ...an. En 1950, il a donné une conférence plénière au [[Congrès international des mathématiciens]] à [[Cambridge (Massachusetts)]] (''The cultural basis of m ...

...lisant la notion de distance, l'autre avec une axiomatique proche de celle des espaces topologiques. On montre que ces deux approches sont équivalentes. ...équivalent à un écart fini. Il est donc possible de ne travailler qu'avec des écarts qui ne prennent jamais la valeur infinie. ...