Titre : Comptes rendus hebdomadaires des séances de l'Académie des sciences... Série A et B : sciences mathématiques. Sciences physiques / Académie des sciences ; [dir. publ. Guy de Dampierre]
Auteur : Académie des sciences (France). Auteur du texte
Éditeur : Gauthier-Villars (Paris)
Date d'édition : 1976-01-01
Notice du catalogue : http://catalogue.bnf.fr/ark:/12148/cb34484666t
Type : texte texte
Type : publication en série imprimée publication en série imprimée
Langue : français
Format : Nombre total de vues : 38175 Nombre total de vues : 38175
Description : 01 janvier 1976 01 janvier 1976
Description : 1976/01/01 (SERA,T282,PART1)-1976/02/28. 1976/01/01 (SERA,T282,PART1)-1976/02/28.
Droits : Consultable en ligne
Identifiant : ark:/12148/bpt6k6426770n
Source : Bibliothèque nationale de France, département Collections numérisées, 2008-226741
Conservation numérique : Bibliothèque nationale de France
Date de mise en ligne : 10/12/2012
- Aller à la page de la table des matières1
- TABLES DU TOME 282
- I. - PARTIE SCIENTIFIQUE
- SCIENCES MATHÉMATIQUES
- MÉCANIQUE, MÉCANIQUE CÉLESTE
- II. - AUTEURS
- .......... Page(s) .......... 325
- .......... Page(s) .......... 123
- .......... Page(s) .......... 123
- .......... Page(s) .......... 341
- .......... Page(s) .......... 215
- .......... Page(s) .......... 407
- .......... Page(s) .......... 381
- .......... Page(s) .......... 143
- .......... Page(s) .......... 159
- .......... Page(s) .......... 29
- .......... Page(s) .......... 195
- .......... Page(s) .......... 163
- .......... Page(s) .......... 333
- .......... Page(s) .......... 301
- .......... Page(s) .......... 207
- .......... Page(s) .......... 63
- .......... Page(s) .......... 313
- .......... Page(s) .......... 135
- .......... Page(s) .......... 95
- .......... Page(s) .......... 355
- .......... Page(s) .......... 83
- .......... Page(s) .......... 127
- .......... Page(s) .......... 297
- .......... Page(s) .......... 279
- .......... Page(s) .......... 215
- .......... Page(s) .......... 45
- .......... Page(s) .......... 45
- .......... Page(s) .......... 349
- .......... Page(s) .......... 235
- .......... Page(s) .......... 337
- .......... Page(s) .......... 439
- .......... Page(s) .......... 443
- .......... Page(s) .......... 247
- .......... Page(s) .......... 389
- .......... Page(s) .......... 175
- .......... Page(s) .......... 305
- .......... Page(s) .......... 49
- .......... Page(s) .......... 5
- .......... Page(s) .......... 203
- .......... Page(s) .......... 329
- .......... Page(s) .......... 393
- .......... Page(s) .......... 403
- .......... Page(s) .......... 321
- .......... Page(s) .......... 153
- .......... Page(s) .......... 119
- .......... Page(s) .......... 9
- .......... Page(s) .......... 381
- .......... Page(s) .......... 255
- .......... Page(s) .......... 255
- .......... Page(s) .......... 41
- .......... Page(s) .......... 289
- .......... Page(s) .......... 19
- .......... Page(s) .......... 227
- .......... Page(s) .......... 121
- .......... Page(s) .......... 415
- .......... Page(s) .......... 91
- .......... Page(s) .......... 443
- .......... Page(s) .......... 25
- .......... Page(s) .......... 293
- .......... Page(s) .......... 279
- .......... Page(s) .......... 263
- .......... Page(s) .......... 359
- .......... Page(s) .......... 325
- .......... Page(s) .......... 371
C. R. Acad. Se. Paris, t. 282 (5 janvier 1976)
Série A — 25
THÉORIE DES CATÉGORIES. — Les fins cartésiennes.
Note (*) de M. Jean-Marie Sirot, présentée par M. René Garnier.
Les fins cartésiennes sont une généralisation des fins ordinaires en théorie des 2-catégories.
La particularité de cette généralisation provient du fait que l'on utilise simultanément des pseudo-
foncteurs et des co-pseudo-foncteurs. Les propriétés des fins ordinaires sont étendues dans ce cadre.
1. NOTATIONS ET PREMIÈRES DÉFINITIONS. — D'une façon générale le vocabulaire utilisé
est celui de Gray e).
On notera av (X, vit) la 2-catégorie dont les objets sont les a-foncteurs (a = pseudo,
co-pseudo, iso ou 2) de la 2-catégorie de 3C vers Jt et dont les 1-cellules et les 2-cellules
sont respectivement les transformations jc-naturelles (x = quasi, co-quasi, iso ou 2) et
les modifications entre ces dernières. Pour tout objet x de 3C, on remarquera le 2-foncteur
d'évaluation en x, ev x : ocx (ff, Jt) ->■ Jt.
DÉFINITION 1. — (a) Un co-quasi-bifoncteur (en abrégé : cbf) M de A x re vers Jt est la
donnée d'une famille de pseudo-foncteurs {M c: d'une famille de
co-pseudofoncteurs {b M : Jt; b e & }, telles que (M c) b = (b M) c = b M c,
et d'une famille des 2-cellules de vit :
{v Mw: b' M w. v Mc=> v Mc'. b M w; (v, W)E b D b' x c D c'}
vérifiant les conditions naturelles de compatibilité. (Nota : « e » est employé dans le sens
de « objet de » et b D b' désigne la catégorie des cellules de 3b allant de b vers b'.)
(b) Une transformation co-quasi-naturelle (en abrégé : tcqn) h : M -> M' entre cbf
de A x W vers At est la donnée d'une famille de transformations co-quasi-naturelles
{ hc : M c -» M' c; c e # } et d'une famille de transformations quasi-naturelles
bh : b M b M'; b e A }, telles que
(hc) b = (bh) c = bhc : b M c -»• b M' c
et telles que, pour tout (v, w) e b D b' x c D c', l'on ait :
vhc'. b Mw°b' hc' .vMwob' hw.v M c = v M'c' , bijw - v Mw. bhc ° b' M'w .vhc.
(c) Une modification a : h => h' entre tcqn est une famille de modifications
{a c : hc => h' c, cErc; bc :bh => bh', be&\
telle que
(a c) b = (b cr) c = b cy cbhc => bh'c.
PROPOSITION 1. — Les données (a), (b), (c), ci-dessus décrivent les cellules d'une 2-catégorie,
notée cbfcq ( x rc, vit), et on a un isomorphisme cbfC9 (J1 x <&, Jt) A psc (0&, cpq (<&, Jt)).
DÉFINITION 2. - Soient un cbf M : M x rc —► vit, un co-pseudo-foncteur U : dOp —► £ 8
et un pseudo-foncteur V : d -+ rc, et meJt.
(a) Un quasi-wedge p : m -+ UM V est une famille de 1-cellules
{pa : m -> Va MY a, a es/},
équipée d'une famille de 2-cellules
{pu : U a MV u ,pa => U u MVa' .pa., u G a M a'},
qui vérifie les conditions naturelles de compatibilité.
Série A — 25
THÉORIE DES CATÉGORIES. — Les fins cartésiennes.
Note (*) de M. Jean-Marie Sirot, présentée par M. René Garnier.
Les fins cartésiennes sont une généralisation des fins ordinaires en théorie des 2-catégories.
La particularité de cette généralisation provient du fait que l'on utilise simultanément des pseudo-
foncteurs et des co-pseudo-foncteurs. Les propriétés des fins ordinaires sont étendues dans ce cadre.
1. NOTATIONS ET PREMIÈRES DÉFINITIONS. — D'une façon générale le vocabulaire utilisé
est celui de Gray e).
On notera av (X, vit) la 2-catégorie dont les objets sont les a-foncteurs (a = pseudo,
co-pseudo, iso ou 2) de la 2-catégorie de 3C vers Jt et dont les 1-cellules et les 2-cellules
sont respectivement les transformations jc-naturelles (x = quasi, co-quasi, iso ou 2) et
les modifications entre ces dernières. Pour tout objet x de 3C, on remarquera le 2-foncteur
d'évaluation en x, ev x : ocx (ff, Jt) ->■ Jt.
DÉFINITION 1. — (a) Un co-quasi-bifoncteur (en abrégé : cbf) M de A x re vers Jt est la
donnée d'une famille de pseudo-foncteurs {M c: d'une famille de
co-pseudofoncteurs {b M : Jt; b e & }, telles que (M c) b = (b M) c = b M c,
et d'une famille des 2-cellules de vit :
{v Mw: b' M w. v Mc=> v Mc'. b M w; (v, W)E b D b' x c D c'}
vérifiant les conditions naturelles de compatibilité. (Nota : « e » est employé dans le sens
de « objet de » et b D b' désigne la catégorie des cellules de 3b allant de b vers b'.)
(b) Une transformation co-quasi-naturelle (en abrégé : tcqn) h : M -> M' entre cbf
de A x W vers At est la donnée d'une famille de transformations co-quasi-naturelles
{ hc : M c -» M' c; c e # } et d'une famille de transformations quasi-naturelles
bh : b M b M'; b e A }, telles que
(hc) b = (bh) c = bhc : b M c -»• b M' c
et telles que, pour tout (v, w) e b D b' x c D c', l'on ait :
vhc'. b Mw°b' hc' .vMwob' hw.v M c = v M'c' , bijw - v Mw. bhc ° b' M'w .vhc.
(c) Une modification a : h => h' entre tcqn est une famille de modifications
{a c : hc => h' c, cErc; bc :bh => bh', be&\
telle que
(a c) b = (b cr) c = b cy cbhc => bh'c.
PROPOSITION 1. — Les données (a), (b), (c), ci-dessus décrivent les cellules d'une 2-catégorie,
notée cbfcq ( x rc, vit), et on a un isomorphisme cbfC9 (J1 x <&, Jt) A psc (0&, cpq (<&, Jt)).
DÉFINITION 2. - Soient un cbf M : M x rc —► vit, un co-pseudo-foncteur U : dOp —► £ 8
et un pseudo-foncteur V : d -+ rc, et meJt.
(a) Un quasi-wedge p : m -+ UM V est une famille de 1-cellules
{pa : m -> Va MY a, a es/},
équipée d'une famille de 2-cellules
{pu : U a MV u ,pa => U u MVa' .pa., u G a M a'},
qui vérifie les conditions naturelles de compatibilité.
Le taux de reconnaissance estimé pour ce document est de 98.5%.
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 98.5%.
- Related authors 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")Mémoires (Académie des sciences, belles lettres et arts d'Angers) /ark:/12148/bd6t542070206.highres Revue de l'Agenais et des anciennes provinces du Sud-Ouest : historique, littéraire, scientifique & artistique / publiée à Agen sous la direction de M. Fernand Lamy,... /ark:/12148/bpt6k30461887.highres
-
-
Page
chiffre de pagination vue 42/489
- Recherche dans le document Recherche dans le document https://gallica.bnf.fr/services/ajax/action/search/ark:/12148/bpt6k6426770n/f42.image ×
Search in the document
- Partage et envoi par courriel Partage et envoi par courriel https://gallica.bnf.fr/services/ajax/action/share/ark:/12148/bpt6k6426770n/f42.image
- Téléchargement / impression Téléchargement / impression https://gallica.bnf.fr/services/ajax/action/download/ark:/12148/bpt6k6426770n/f42.image
- Mise en scène Mise en scène ×
Staging
Créer facilement :
- Marque-page Marque-page https://gallica.bnf.fr/services/ajax/action/bookmark/ark:/12148/bpt6k6426770n/f42.image ×
Manage your personal area
Add this document
Add/See bookmark(s)
Mes sélections ()Titre - Acheter une reproduction Acheter une reproduction https://gallica.bnf.fr/services/ajax/action/pa-ecommerce/ark:/12148/bpt6k6426770n
- Acheter le livre complet Acheter le livre complet https://gallica.bnf.fr/services/ajax/action/indisponible/achat/ark:/12148/bpt6k6426770n
- 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/bpt6k6426770n/f42.image × Aide
Facebook
Twitter
Pinterest