Lemme de YonedaEn théorie des catégories, le lemme de Yoneda, attribué au mathématicien japonais Nobuo Yoneda, est un théorème de plongement d'une catégorie localement petite dans une catégorie de foncteurs : les objets de sont identifiés aux foncteurs représentables, et les morphismes de à toutes les transformations naturelles entre ces foncteurs. C'est une vaste généralisation du théorème de Cayley pour les groupes (vus comme des petites catégories à un seul objet).
Groupe socialvignette|Une famille Laponne en Norvège aux alentours de 1900. Un groupe est un ensemble de personnes ayant des caractéristiques ou des buts communs socialement partagés. Une prémisse à l'étude des groupes est de considérer que leurs propriétés sont distinctes de celles des individus qui les composent. Les groupes peuvent être en relation directe, vivre dans un même espace ou bien être complètement séparés. De nos jours, avec les moyens de transports et de communications modernes, les groupes sont presque tous indirectement en relation.
Tri fusionEn informatique, le tri fusion, ou tri dichotomique, est un algorithme de tri par comparaison stable. Sa complexité temporelle pour une entrée de taille n est de l'ordre de n log n, ce qui est asymptotiquement optimal. Ce tri est basé sur la technique algorithmique diviser pour régner. L'opération principale de l'algorithme est la fusion, qui consiste à réunir deux listes triées en une seule. L'efficacité de l'algorithme vient du fait que deux listes triées peuvent être fusionnées en temps linéaire.
Tri par paquetsLe tri par paquets est un algorithme de tri qui fonctionne sur des nombres réels appartenant à un intervalle borné fixé à l'avance. Le principe de ce tri consiste à partitionner régulièrement l'intervalle d'entrée en autant de sous-intervalles que l'entrée comporte d'éléments à trier, et à distribuer les données selon leur valeurs en autant de paquets correspondant à ces sous-intervalles. Les paquets sont alors triés séparément à l'aide d'un autre algorithme de tri.
Tri par baseEn algorithmique le tri par base, ou tri radix de radix sort en anglais, est un algorithme de tri, utilisé pour ordonner des éléments identifiés par une clef unique. Chaque clef est une chaîne de caractères ou un nombre que le tri par base trie selon l'ordre lexicographique. Cet algorithme a besoin d'être couplé avec un ou plusieurs algorithmes de tri stable. Le principe de l'algorithme est le suivant : On considère le chiffre le moins significatif de chaque clef. On trie la liste des éléments selon ce chiffre avec un algorithme de tri stable.
Tri à bullesvignette|Visualisation statique du tri : les étapes vont de gauche à droite. À chaque étape une permutation est faite. La couleur la plus foncée a le plus de valeur et trouve sa place définitive (en bas) en premier. Le tri à bulles ou tri par propagation est un algorithme de tri. Il consiste à comparer répétitivement les éléments consécutifs d'un tableau, et à les permuter lorsqu'ils sont mal triés. Il doit son nom au fait qu'il déplace rapidement les plus grands éléments en fin de tableau, comme des bulles d'air qui remonteraient rapidement à la surface d'un liquide.
Algorithme de triUn algorithme de tri est, en informatique ou en mathématiques, un algorithme qui permet d'organiser une collection d'objets selon une relation d'ordre déterminée. Les objets à trier sont des éléments d'un ensemble muni d'un ordre total. Il est par exemple fréquent de trier des entiers selon la relation d'ordre usuelle « est inférieur ou égal à ». Les algorithmes de tri sont utilisés dans de très nombreuses situations. Ils sont en particulier utiles à de nombreux algorithmes plus complexes dont certains algorithmes de recherche, comme la recherche dichotomique.
Tri comptageLe tri comptage (counting sort en anglais), appelé aussi tri casier, est un algorithme de tri par dénombrement qui s'applique sur des valeurs entières. Le principe repose sur la construction de l'histogramme des données, puis le balayage de celui-ci de façon croissante, afin de reconstruire les données triées. Ici, la notion de stabilité n'a pas réellement de sens, puisque l'histogramme factorise les données – plusieurs éléments identiques seront représentés par un unique élément quantifié.
Nouvelle gaucheLa nouvelle gauche, ou New Left en anglais, est une expression utilisée pour qualifier un ensemble de mouvements de gauche et d'extrême gauche dans différents pays, essentiellement durant les années 1960 et 1970. Les remises en cause portées par la nouvelle gauche sont à la fois sociales, économiques, mais aussi philosophiques et même psychologiques (voir antipsychiatrie).
Gauche communisteLa gauche communiste, aussi appelée communisme de gauche, est une expression qui regroupe des courants politiques se réclamant du marxisme. Cette appellation réunit des courants politiques très différents, la majorité s'opposant à Lénine (le communisme de conseils, le luxemburgisme, les situationnistes, etc.), certains se réclamant d’une vision « plus partidiste » (courant critique issu de la Troisième Internationale, dès le début des années 1920 : essentiellement la gauche communiste italienne — cette dernière tradition se reconnaît principalement dans les deux premiers congrès de l'Internationale communiste alors que le trotskisme se réclame de ses quatre premiers congrès).
Libertarisme de gaucheLe libertarisme de gauche ou libertarianisme de gauche est un courant de la philosophie politique qui partage avec le courant libertarien classique (anarcho-capitalisme, minarchisme de droite) des principes de liberté individuelle forts mais y ajoute une thèse égalitaire sur la propriété des ressources naturelles. Il est également question d'un libre-marché coopérativiste par l'abolition du salariat et l'instauration d'un entrepreneuriat volontariste non-hiérarchisé.
Algorithme de tri externeUn algorithme de tri est dit externe lorsqu'il permet de trier des entrées trop grandes pour être contenues en intégralité dans la mémoire principale d'un ordinateur. En règle générale, la mémoire principale est la mémoire vive, et l'algorithme recourt donc à l'usage d'une mémoire située plus bas dans la hiérarchie mémoire, comme un disque dur. Recourir à la mémoire externe permet d'arriver à trier des volumes de données plus importants mais induit de nouvelles difficultés, le temps d'accès aux données étant beaucoup plus long.
