Titre : Comptes rendus hebdomadaires des séances de l'Académie des sciences. Séries A et B, Sciences mathématiques et Sciences physiques
Auteur : Académie des sciences (France). Auteur du texte
Éditeur : Gauthier-Villars (Paris)
Date d'édition : 1972-07-10
Notice du catalogue : http://catalogue.bnf.fr/ark:/12148/cb34416987n
Type : texte texte
Type : publication en série imprimée publication en série imprimée
Langue : français
Format : Nombre total de vues : 52635 Nombre total de vues : 52635
Description : 10 juillet 1972 10 juillet 1972
Description : 1972/07/10 (SERA-B,T275,N2). 1972/07/10 (SERA-B,T275,N2).
Droits : Consultable en ligne
Identifiant : ark:/12148/bpt6k5731002n
Source : Archives de l'Académie des sciences
Conservation numérique : Bibliothèque nationale de France
Date de mise en ligne : 01/12/2010
G. R. Acad. Sc. Paris, t. 275 (10 juillet 1972) Série A — 89
NOTES DES MEMBRES ET CORRESPONDANTS
ET NOTES PRÉSENTÉES OU TRANSMISES PAR LEURS SOINS
ALGÈBRE DES CATÉGORIES. — Complétion universelle et régulari-
sation d'une petite catégorie préadditive. Note (*) de M. GÉRARD WEIDENFELD
et Mme MICHELE WEIDENFELD, présentée par M. René Garnier.
L'existence et l'universalité d'un foncteur additif transformant des cônes inductifs
sur une catégorie préadditive en limites est établie par l'étude des faisceaux de
groupes abéliens sur cette catégorie. La notion d'anneau régulier généralisée aux
catégories s'exprime par des limites et à tout anneau (catégorie préadditive) on
associe de façon « universelle » une catégorie régulière.
1. COMPLÉTION UNIVERSELLE D'UNE PETITE CATÉGORIE PRÉADDITIVE.
— Soit A ba* la catégorie des foncteurs contravariants additifs d'une
petite catégorie préadditive a vers la catégorie des groupes abéliens A b.
On suppose donnée une famille K de cônes inductifs sur a; un K-faisceau
(ou simplement faisceau) est un objet de A ba* transformant ces cônes
en limites projectives dans A b. Etant donné un foncteur additif A : a -> B,
on note A* son extension de Kan additive et A* le coadjoint de celle-ci.
On montre que le foncteur d'inclusion de la sous-catégorie pleine F
de A ba* dont les objets sont les faisceaux admet un adjoint à gauche
noté : . .
PROPOSITION 1. — Il existe un foncteur additif W : a -> a, où a est
une petite catégorie préadditive, transformant les cônes de K en limites induc-
tives dans a et universel pour cette propriété.
Démonstration. — Soit a la sous-catégorie pleine de F dont les
objets (., A), où A € a0, sont les faisceaux associés à un ensemble repré-
sentatif de foncteurs représentables, W le foncteur induit par . .
Si $ : a -> B est un foncteur additif transformant les cônes de K en
limites inductives dans B, on montre que, pour tout A € a0, on a
où <ï>„SA = 0, ce qui permet de factoriser de façon unique $ au travers de W.
DÉFINITIONS. — a est la ( K, A b)-complétion universelle de a. Si les
limites inductives dans a définies par les images des cônes de K sont
préservées par tout foncteur additif, on dira que a est la ( K, A b) -complétion
absolue universelle de a.
C. R., 1972, 2e Semestre. (T. 275, N° 2.) Série A — 7
NOTES DES MEMBRES ET CORRESPONDANTS
ET NOTES PRÉSENTÉES OU TRANSMISES PAR LEURS SOINS
ALGÈBRE DES CATÉGORIES. — Complétion universelle et régulari-
sation d'une petite catégorie préadditive. Note (*) de M. GÉRARD WEIDENFELD
et Mme MICHELE WEIDENFELD, présentée par M. René Garnier.
L'existence et l'universalité d'un foncteur additif transformant des cônes inductifs
sur une catégorie préadditive en limites est établie par l'étude des faisceaux de
groupes abéliens sur cette catégorie. La notion d'anneau régulier généralisée aux
catégories s'exprime par des limites et à tout anneau (catégorie préadditive) on
associe de façon « universelle » une catégorie régulière.
1. COMPLÉTION UNIVERSELLE D'UNE PETITE CATÉGORIE PRÉADDITIVE.
— Soit A ba* la catégorie des foncteurs contravariants additifs d'une
petite catégorie préadditive a vers la catégorie des groupes abéliens A b.
On suppose donnée une famille K de cônes inductifs sur a; un K-faisceau
(ou simplement faisceau) est un objet de A ba* transformant ces cônes
en limites projectives dans A b. Etant donné un foncteur additif A : a -> B,
on note A* son extension de Kan additive et A* le coadjoint de celle-ci.
On montre que le foncteur d'inclusion de la sous-catégorie pleine F
de A ba* dont les objets sont les faisceaux admet un adjoint à gauche
noté : . .
PROPOSITION 1. — Il existe un foncteur additif W : a -> a, où a est
une petite catégorie préadditive, transformant les cônes de K en limites induc-
tives dans a et universel pour cette propriété.
Démonstration. — Soit a la sous-catégorie pleine de F dont les
objets (., A), où A € a0, sont les faisceaux associés à un ensemble repré-
sentatif de foncteurs représentables, W le foncteur induit par . .
Si $ : a -> B est un foncteur additif transformant les cônes de K en
limites inductives dans B, on montre que, pour tout A € a0, on a
où <ï>„SA = 0, ce qui permet de factoriser de façon unique $ au travers de W.
DÉFINITIONS. — a est la ( K, A b)-complétion universelle de a. Si les
limites inductives dans a définies par les images des cônes de K sont
préservées par tout foncteur additif, on dira que a est la ( K, A b) -complétion
absolue universelle de a.
C. R., 1972, 2e Semestre. (T. 275, N° 2.) Série A — 7
Le taux de reconnaissance estimé pour ce document est de 99.98%.
En savoir plus sur l'OCR
En savoir plus sur l'OCR
Le texte affiché peut comporter un certain nombre d'erreurs. En effet, le mode texte de ce document a été généré de façon automatique par un programme de reconnaissance optique de caractères (OCR). Le taux de reconnaissance estimé pour ce document est de 99.98%.
- Auteurs similaires Académie des sciences Académie des sciences /services/engine/search/sru?operation=searchRetrieve&version=1.2&maximumRecords=50&collapsing=true&exactSearch=true&query=(dc.creator adj "Académie des sciences" or dc.contributor adj "Académie des sciences")
-
-
Page
chiffre de pagination vue 7/164
- Recherche dans le document Recherche dans le document https://gallica.bnf.fr/services/ajax/action/search/ark:/12148/bpt6k5731002n/f7.image ×
Recherche dans le document
- Partage et envoi par courriel Partage et envoi par courriel https://gallica.bnf.fr/services/ajax/action/share/ark:/12148/bpt6k5731002n/f7.image
- Téléchargement / impression Téléchargement / impression https://gallica.bnf.fr/services/ajax/action/download/ark:/12148/bpt6k5731002n/f7.image
- Mise en scène Mise en scène ×
Mise en scène
Créer facilement :
- Marque-page Marque-page https://gallica.bnf.fr/services/ajax/action/bookmark/ark:/12148/bpt6k5731002n/f7.image ×
Gérer son espace personnel
Ajouter ce document
Ajouter/Voir ses marque-pages
Mes sélections ()Titre - Acheter une reproduction Acheter une reproduction https://gallica.bnf.fr/services/ajax/action/pa-ecommerce/ark:/12148/bpt6k5731002n
- Acheter le livre complet Acheter le livre complet https://gallica.bnf.fr/services/ajax/action/indisponible/achat/ark:/12148/bpt6k5731002n
- Signalement d'anomalie Signalement d'anomalie https://sindbadbnf.libanswers.com/widget_standalone.php?la_widget_id=7142
- Aide Aide https://gallica.bnf.fr/services/ajax/action/aide/ark:/12148/bpt6k5731002n/f7.image × Aide
Facebook
Twitter
Pinterest