Spectre (topologie)En topologie algébrique, une branche des mathématiques, un spectre est un objet représentant une théorie cohomologique généralisée (qui découle du ). Cela signifie que, étant donné une théorie de cohomologie,il existe des espaces tels que l'évaluation de la théorie cohomologique en degré sur un espace équivaut à calculer les classes d'homotopie des morphismes à l'espace , soit encore.Remarquons qu'il existe plusieurs catégories de spectres différentes conduisant à de nombreuses difficultés techniques, mais ils déterminent tous la même , connue sous le nom de catégorie d'homotopie stable.
Théorème d'HurewiczEn topologie algébrique, le cas le plus simple du théorème d'Hurewicz – attribué à Witold Hurewicz – est une description du premier groupe d'homologie singulière d'un espace topologique connexe par arcs à l'aide de son groupe fondamental. Le groupe fondamental, en un point x, d'un espace X, est défini comme l'ensemble des classes d'homotopie de lacets de X en x, muni de la loi de concaténation des lacets. Il est noté π(X, x).
Espace pointéEn topologie, un espace pointé est un espace topologique dont on spécifie un point particulier comme étant le point de base. Formellement, il s'agit donc d'un couple (E, x) pour lequel x est un élément de E. Une application pointée entre deux espaces pointés est une application continue préservant les points de base. Les espaces pointés sont les objets d'une catégorie, notée parfois Top, dont les morphismes sont les applications pointées. Cette catégorie admet le point comme objet nul.
Mensongevignette|Ulysse simulant la folie, tapisserie du . vignette|Pinocchio, autre personnification du mensonge. Le mensonge (ou menterie au Québec) est l'énoncé délibéré d'un fait que son annonceur sait contraire à la vérité, ou encore la dissimulation de la vérité ; dans ce dernier cas on parle plutôt de « mensonge par omission ». Il ne faut pas le confondre avec la contrevérité, qui est une affirmation inexacte sans que son auteur le sache obligatoirement.
Théorie des types homotopiquesvignette| Couverture de la Théorie des types homotopiques : Fondations univalentes des mathématiques. Dans la logique mathématique et de l’informatique, la théorie des types homotopiques (en anglais : Homotopy Type Theory HoTT) fait référence à différentes lignes de développement de la théorie des types intuitionnistes, basée sur l’interprétation des types comme des objets auxquels l’intuition de la théorie de l’homotopie s’applique.
Big lieA big lie (große Lüge) is a gross distortion or misrepresentation of the truth primarily used as a political propaganda technique. The German expression was first used by Adolf Hitler in his book Mein Kampf (1925) to describe how people could be induced to believe so colossal a lie because they would not believe that someone "could have the impudence to distort the truth so infamously". Hitler claimed that the technique had been used by Jews to blame Germany's loss in World War I on German general Erich Ludendorff, who was a prominent nationalist political leader in the Weimar Republic.
