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-05-08
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 : 08 mai 1972 08 mai 1972
Description : 1972/05/08 (SERA-B,T274,N19). 1972/05/08 (SERA-B,T274,N19).
Droits : Consultable en ligne
Identifiant : ark:/12148/bpt6k5619143m
Source : Archives de l'Académie des sciences
Conservation numérique : Bibliothèque nationale de France
Date de mise en ligne : 01/12/2010
- Aller à la page de la table des matièresNP
- VIE ACADEMIQUE
- NOTES DES MEMBRES ET CORRESPONDANTS ET NOTES PRESENTEES OU TRANSMISES PAR LEURS SOINS
1392 — Série A G. R. Acad. Se. Paris, t. 274 (8 mai 1972)
ALGÈBRE DES CATÉGORIES. — Catégories localement cohérentes
et objets a-injectifs. Note (*) de M. SABAH FAKIR, transmise par M. Henri
Cartan.
On donne un théorème de représentation des catégories localement cohérentes
ainsi que diverses caractérisations de ces catégories dont l'une utilise la notion
d'objets a-injectifs. On établit un critère d'existence de suffisamment de ces objets
dans les catégories localement présentables, et on étend à des catégories générales
des résultats démontrés dans ( 2) pour des catégories abéliennes. La terminologie
est celle de (').
Soit a un cardinal régulier infini.
DÉFINITION 1. — On dit qu'un objet E d'une catégorie est de type faible a
si pour toute colimite a-cofiltrante Aj -*■ A l'application canonique
colim (E, A,) (E, A)
est injective.
PROPOSITION 1. — Soit E un objet d'une catégorie localement y.-prèsentable.
On considère les conditions suivantes :
(a) E est de type a;
(b) E est de type faible a;
(c) Il existe un objet F de type a et un morphisme F -»- E qui est mono
et épi;
(d) Il existe un objet F de type a et un épimorphisme F E.
On a Si tout épimorphisme est véritable (= echt),
alors b => a.
Exemple 1. — Dans la catégorie des anneaux commutatifs avec élément
unité, l'anneau Q est de type faible a et n'est pas de type K0.
LEMME 1. — Dans une catégorie localement a-présentable, soit fi : A; B,,
i G I, un diagramme a-co filtrant de monomorphismes. On considère les colimites
B et f = colim V Soit E un objet de type a et
u : E -> Aj tel que s = aj u.
PROPOSITION 2. — Soit cl une catégorie localement y.-présentable, Mor (cl)
la catégorie des morphismes de cl, Mono (cl) la sous-catégorie pleine de Mor (Cl)
dont les objets sont les monomorphismes de Cl. Alors Mono est localement
a-présentable et ses objets a.-présentables sont les monomorphismes
où E est de type y. et F est y.-présentable dans Cl (8).
DÉFINITION 2. — On dit qu'une catégorie est localement a-cohérente
si elle est localement a-présentable et si tout sous-objet de type a d'un
objet «-présentable est a-présentable.
ALGÈBRE DES CATÉGORIES. — Catégories localement cohérentes
et objets a-injectifs. Note (*) de M. SABAH FAKIR, transmise par M. Henri
Cartan.
On donne un théorème de représentation des catégories localement cohérentes
ainsi que diverses caractérisations de ces catégories dont l'une utilise la notion
d'objets a-injectifs. On établit un critère d'existence de suffisamment de ces objets
dans les catégories localement présentables, et on étend à des catégories générales
des résultats démontrés dans ( 2) pour des catégories abéliennes. La terminologie
est celle de (').
Soit a un cardinal régulier infini.
DÉFINITION 1. — On dit qu'un objet E d'une catégorie est de type faible a
si pour toute colimite a-cofiltrante Aj -*■ A l'application canonique
colim (E, A,) (E, A)
est injective.
PROPOSITION 1. — Soit E un objet d'une catégorie localement y.-prèsentable.
On considère les conditions suivantes :
(a) E est de type a;
(b) E est de type faible a;
(c) Il existe un objet F de type a et un morphisme F -»- E qui est mono
et épi;
(d) Il existe un objet F de type a et un épimorphisme F E.
On a Si tout épimorphisme est véritable (= echt),
alors b => a.
Exemple 1. — Dans la catégorie des anneaux commutatifs avec élément
unité, l'anneau Q est de type faible a et n'est pas de type K0.
LEMME 1. — Dans une catégorie localement a-présentable, soit fi : A; B,,
i G I, un diagramme a-co filtrant de monomorphismes. On considère les colimites
B et f = colim V Soit E un objet de type a et
u : E -> Aj tel que s = aj u.
PROPOSITION 2. — Soit cl une catégorie localement y.-présentable, Mor (cl)
la catégorie des morphismes de cl, Mono (cl) la sous-catégorie pleine de Mor (Cl)
dont les objets sont les monomorphismes de Cl. Alors Mono est localement
a-présentable et ses objets a.-présentables sont les monomorphismes
où E est de type y. et F est y.-présentable dans Cl (8).
DÉFINITION 2. — On dit qu'une catégorie est localement a-cohérente
si elle est localement a-présentable et si tout sous-objet de type a d'un
objet «-présentable est a-présentable.
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 14/96
- Recherche dans le document Recherche dans le document https://gallica.bnf.fr/services/ajax/action/search/ark:/12148/bpt6k5619143m/f14.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/bpt6k5619143m/f14.image
- Téléchargement / impression Téléchargement / impression https://gallica.bnf.fr/services/ajax/action/download/ark:/12148/bpt6k5619143m/f14.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/bpt6k5619143m/f14.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/bpt6k5619143m
- Acheter le livre complet Acheter le livre complet https://gallica.bnf.fr/services/ajax/action/indisponible/achat/ark:/12148/bpt6k5619143m
- 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/bpt6k5619143m/f14.image × Aide
Facebook
Twitter
Pinterest