2-catégorieEn mathématiques, et plus particulièrement en théorie des catégories, une 2-catégorie est une catégorie avec des « morphismes entre les morphismes », c'est-à-dire que chaque « ensemble des morphismes » transporte la structure d'une catégorie. Une 2-catégorie peut être formellement définie comme étant une catégorie enrichie au-dessus de Cat (la catégorie des catégories petites et les foncteurs entre elles), avec la structure monoïdale donnée par le produit de deux catégories.
Brown's representability theoremIn mathematics, Brown's representability theorem in homotopy theory gives necessary and sufficient conditions for a contravariant functor F on the Hotc of pointed connected CW complexes, to the Set, to be a representable functor. More specifically, we are given F: Hotcop → Set, and there are certain obviously necessary conditions for F to be of type Hom(—, C), with C a pointed connected CW-complex that can be deduced from alone. The statement of the substantive part of the theorem is that these necessary conditions are then sufficient.
CofibrationEn mathématiques, une cofibration est une application qui satisfait la propriété d'extension des homotopies, ce qui est le cas pour les inclusions de CW-complexes. Le quotient de l'espace but par l'espace source est alors appelé cofibre de l'application. L'inclusion dans le cylindre d'application permet de remplacer une application continue entre deux espaces topologiques par une cofibration homotopiquement équivalente. La cofibre est alors appelée cofibre homotopique de l'application initiale.
Timeline of category theory and related mathematicsThis is a timeline of category theory and related mathematics. Its scope ("related mathematics") is taken as: of abstract algebraic structures including representation theory and universal algebra; Homological algebra; Homotopical algebra; Topology using categories, including algebraic topology, categorical topology, quantum topology, low-dimensional topology; Categorical logic and set theory in the categorical context such as algebraic set theory; Foundations of mathematics building on categories, for instance topos theory; Abstract geometry, including algebraic geometry, categorical noncommutative geometry, etc.
Accent circonflexeL’accent circonflexe ‹ ◌̂ › (du latin circumflexus, « fléchi autour ») est un diacritique de l’alphabet latin hérité de l’accent circonflexe grec. C’est, graphiquement, la réunion d’un accent aigu et d’un accent grave. Il fait ses premières apparitions dans les langues modernes en français au . En 1560, l'imprimeur tourangeau Plantin systématise l'usage de l'accent circonflexe pour remplacer le s (comme dans tête pour teste). Il existe un autre symbole diacritique similaire à l'accent circonflexe, le caron.
Romanian alphabetThe Romanian alphabet is a variant of the Latin alphabet used for writing the Romanian language. It is a modification of the classical Latin alphabet and consists of 31 letters, five of which (Ă, Â, Î, Ș, and Ț) have been modified from their Latin originals for the phonetic requirements of the language: The letters Q (chiu), W (dublu v), and Y (igrec or i grec, meaning "Greek i") were formally introduced in the Romanian alphabet in 1982, although they had been used earlier.
