La classe des morphismes de Dwyer n'est pas stable par rétractes
La filtration de Gabriel
La K-théorie stable
La Langage des schémas pour les demi-groupes commutatifs.
La localisation dans les anneaux non commutatifs
La «machine de Grothendieck» se fonde-t-elle seulement sur des vocables métamathématiques ? Bourbaki et les catégories au cours des années cinquante
On reconstruit la discussion de Bourbaki sur la théorie des catégories dans les années 1950 ; les sources non publiées qui permettent cette reconstruction font partie des archives Bourbaki en France et du Nachlaß de Samuel Eilenberg, collection récemment redécouverte et depuis incorporée aux archives de la Columbia University. On étudie surtout la relation entre cette discussion et la participation de Grothendieck au projet Bourbaki. Ses travaux sur l’algèbre homologique et sur la géométrie algébrique...
La neige est blanche ssi... Prédication et perception
L'article traite des liens entre la syntaxe et la sémantique formelle (de nature logique) des jugements perceptifs et leur contenu proprement perceptif (de nature géométrique). Dans les situations les plus élémentaires le contenu perceptif se ramène à des remplissements de domaines spatiaux (l'extension des objets) par des qualités sensibles (couleurs, textures, etc.). Ces remplissements sont descriptibles par des sections de fibrations appropriées, qui sont des cas particuliers de faisceaux. Il...
La périodicité de Bott en -théorie générale
La renaissance des opérades
La sucesión de tres términos en categorías algebraicas.
La suffisante complétude connexe. Correctif à apporter à la section B. §5.5
La suffisante complétude connexe. Section A : amphi-syntaxes, amphi-algèbres et sesqui-algèbres
La suffisante complétude connexe. Section B : théorie générale
La suffisante complétude connexe. Section C : exemples
La théorie des fonctions indexées en récursivité
La tour de fibrations exactes des -catégories
La tour holomorphe d'une esquisse
Laminations, or How to Build a Quantum-Logic-Valued Model of Set Theory.
Languages for triples, bicategories and braided monoidal categories
L'anneau de Milnor d'un corps local à corps résiduel parfait
Soit un corps complet pour une valuation discrète, de corps résiduel . Lorsque est fini, la structure de a été déterminée par C.C. Moore, J.E. Carroll et A.S. Merkurjev. On généralise ici leurs résultats au cas où est parfait de caractéristique positive . Les résultats principaux sont : est -divisible pour assez grand (explicite); le groupe de Milnor est discret, explicitement déterminé ; n’a pas de torsion première à , et sa -torsion est explicitement déterminée. On obtient...