TEMPS ET INCOMPLTUDE : GENSE ET

DVELOPPEMENTS DE LAPPROCHE
CATGORIQUE DES MES
par
Andre C. EHRESMANN
Universit de Picardie Jules Verne
ehres@u-picardie.fr
http://ehres.pagesperso-orange.fr
http://vbm-ehr.pagesperso-orange.fr

MAMUPHI, ENS Paris, Janvier 2014

PREMIERE PARTIE :
APPROCHE DES CATEGORIES PAR
CHARLES EHRESMANN1

"Au commencement tait l'ac0on "

Goethe, Faust
" La Gomtrie est la thorie des structures plus ou moins riches,
dans lesquelles on discerne en gnral des structures algbriques
et des structures topologiques sous-jacentes. "
C. Ehresmann, 1955
" l'volu0on des Mathma0ques ne sera jamais termine et il ne
faudra jamais relcher les eorts en vue de l'approfondissement
et de l'unica0on de nos concep0ons mathma0ques. "
C. Ehresmann, 1972

1930-1956

Homogeneous spaces (thesis 1934)

Locally homogeneous spaces

Foliated manifolds
Pseudogroups localisation

(Principal) fibre bundles

Connections
Jets

1963-1969

1957-1962

Species of Structures

1970-1979

Systme Evolutif des travaux

de CHARLES EHRESMANN

Foundation of
Differential Geometry

Species of local structures

Foliations

Typical functors
Ordered categories and species

Double categories

p-structured categories
and species
general theorems
depending on p
Internal categories

Categories of sketched structures

Multiple categories
Construction of monodal closed structures

Topological and
differential categories
and species

Completion of categories
and functors

General sketches

Prototype, type

1930 1956 : TOPOLOGIE ET GEOMETRIE

Homogeneous spaces (thesis 1934)
Locally homogeneous spaces
Foliated manifolds
Pseudogroups localisaIon

(Principal) bre bundles

ConnecIons
Jets

Species of Structures

FoundaIon of
DierenIal Geometry

Species of local structures

Espace homogne = varit sur laquelle un groupe de Lie opre

transi0vement.
" C'est l'expos d'Elie Cartan sur les espaces localement euclidiens et le
livre de Veblen-Whitehead sur "The founda0on of Dieren0al Geom-
etry" qui m'ont conduit tudier les espaces localement homognes de
Lie et chercher une dni0on gnrale des structures de caractre
local. " (C. Ehresmann, 1955)

STRUCTURES LOCALES ASSOCIEES A UN PSEUDOGROUPE

cj
Oj

cj(x)

xx

g
ci(x)

Oi

Uj
Ui
ci

Pseudogroupe de transforma0ons G sur un espace topologique D

= sous-groupode du groupode des isomorphismes entre ouverts Oi de D
contenant avec g toutes ses restric0ons des ouverts Oj, et avec une famille
compa0ble (gi) son union g.
Un espace E est localement isomorphe D pour G sur D s'il existe un atlas
(maximal) A = (ci) : ci : Ui Oi est une bijec0on sur un objet de G, E est la
runion des Oi et les 'changements de cartes g' = cjci-1 sont dans G.
Les espaces localement isomorphes D pour G forment l'espce de
structures locales associe G. Exemples : varits diren0ables, espaces
brs, varits feuilletes.

1957 1966 : CATEGORIES ET ESPECES DE STRUCTURES

Fibre bundles

Category acIon
Typical functors
Double categories

Species of local structures

Ordered categories and species
p-structured categories
and species

general theorems
depending on p

Congrs Nice 1957

Topological and dierenIable

categories and species

CompleIon of categories
and functors

"Ga?ungen von Lokalen Strukturen" (1957) : Premier

ar0cle o Charles u0lise les catgories (gnrales)
pour donner une traduc0on catgorique :
1. des espces de structures au sens de Bourbaki ;
une construc0on explicite de l'chelle des ensembles
( l'aide de transforma0ons naturelles) est donne
dans "Catgorie des Foncteurs Types" (1960).
2. des espces de structures locales.

ACTIONS DE CATEGORIES

La no0on de groupe d'oprateurs s'tend aux catgories, mais l'ac0on y

devient 'par0elle' : une che n'opre que sur la bre au-dessus de sa source.
S yxs
xs

Ens

(yx)s= ys'
s
xs= s'

s
y
C e
x

C = groupe opre sur S pour la

loi: k: CxS S: (x, s) | xs
qui vrie y(xs) = (yx)s et es = s
D'o un foncteur F: C Ens:
F(e) = S, F(x): S S: s | xs

F
C

C = catgorie, F: C Ens est un foncteur,

tel que les F(e), pour tout e, soient non
vides et disjoints. Soit
S = UeF(e) et p: S C0: s | e si s F(e).
Alors C opre sur S, l'ac0on tant la loi
k: C*S S: (x, s) | xs = F(e)(s)
si p(s) = e = (x). Ceie ac0on k vrie :
y(xs) = (yx)s et p(s)s = s

ESPECES DE STRUCTURES. ELARGISSEMENT

k
S
p

C0

P.B

S
C*S

Ens
p^
C

(yx)s= ys'
(x, s)
xs= s'

S'
[x',s']

F
C

= e'

x"
x'
C'

e"

3 dni0ons quivalentes :
1. Foncteur F: C Ens tel que les 'bres' F(e) pour tout e C0 soient non vides
et disjointes. Soit S = UeF(e) et p: S C0 associant e tout s F(e).
2. (C, S, p) est une espce de structures sur C si p: S C0 et si on a une ac0on
k: C*S S de C sur S, o k(x, s) = xs et C*S = {(x, s)| x C, s S, (x) = p(s)},
vriant: y(xs) = (yx)s and (x)s = s.
3. Fibra0on discrte p^: C*S, les morphismes tant (x, s): (e, s) (e', xs).
Thorme d'largissement. Si C est une sous-catgorie de K, une espce de
structures sur C s'tend en une espce sur la sous-catgorie pleine C' de K
dont les objets e" sont buts d'au moins un x' de source dans C.

CAS PARTICULIERS D'ELARGISSEMENT

1. Soit C un groupode. Il est transi0f si les Hom sont tous non vides.
Soit e un objet de C et Ce le sous-groupe plein de C ayant e pour unit.
Si Ce est un groupe d'oprateurs sur un ensemble E, le thorme
d'largissement permet d'tendre ceie ac0on en une espce de
structures sur C dont toutes les bres sont isomorphes E.

Toute espce de structures sur un groupode transi0f est obtenue de
ceie faon.
2. A un pseudogroupe de transforma0ons G sur D on associe l'espce de
structures (G, S, p) dnie par le foncteur F: G Ens tel que :
F(O) = {(O, o) | o O} pour tout objet O de D,
F(g): F(O) F(O'): (O, o) | (O', g(o)) pour tout g: O O' dans G.
Les structures locales associes G correspondent un largissement
(complet) de ceie espce de structures.

ESPECES DE STRUCTURES LOCALES

Classe locale = ensemble ordonn dont toute par0e non vide A a un Inf not
A sa0sfaisant l'axiome de distribu0vit :
(VA) b) = VaA(ab)) pour toute par0e majore A, o VA = Sup A.
Ind est la catgorie ayant pour objets les classes locales, les morphismes
prservant les Sup et les Inf nis. Une catgorie locale est une catgorie
interne Ind dont l'ordre induit sur les Hom est discret.
Ind

k
S
p

C0

C*S

P.B.

Une espce de structures locales (C, S, p) est

dtermine par une ac0on locale k d'une
catgorie locale C interne Ind : S est une
classe locale, et les applica0ons p: S C0 et
k: C*S S sont induc0ves. La bra0on discrte
associe est locale.

Charles insiste sur le rle des covariants en Gomtrie. Ils sont reprsents
par les morphismes entre espces de structures (locales), qu'il appelle
applica0ons covariantes.

ELARGISSEMENT COMPLET

Une espce de sructures locales est complte si elle vrie une 'condi0on de
faisceau' (rela0ve la 'topologie sans points sous-jacente l'ordre).

Thorme d'largissement complet. Si (C, S, p) est une espce de structures

locales sur une sous-catgorie C d'une catgorie locale K s'tend en une
espce de structures locales compltes.
Ce thorme correspond un Thorme de faisceau associe pour des
topologies sans points (avant les no0ons de topologie de Grothendieck). En
1957, il est dmontr seulement pour des groupodes, mais une preuve pour
les catgories locales se trouve dans un ar0cle de 1969.

Les catgories et espces de structures locales, ensuite gnralises en
espces (sous-)prinduc0ves, donnent une approche du problme des "par0al
maps" qui sera abord 20 ans plus tard. En par0culier les espces de
structures prinduc0ves sont en correspondance avec les catgories avec
restric0on de Cockei2 (2002).

CATEGORIES p-STRUCTUREES ET LEURS ACTIONS

Aprs les catgories 'locales' et leurs ac0ons, en 1959, Charles dnit de

mme des catgories topologiques ou diren0ables. Ces no0ons sont
unies par la no0on de catgorie p-structure.
p: H Ens est un
b
v1
foncteur dle
k

s0

s2
H

v2

p


C0

Ens
C2

v1

a
s0

P.B

s2

v2
s

Ide d'une catgorie

= (, , , )
(C, s) est une catgorie p-structure si C est une catgorie, s un objet de H
tel que p(s) = C, et si l'ide de C se relve dans H avec s2 produit br de (a,
b).
Une ac0on p-structure de (C, s) est dnie comme dans le cas local.

CATEGORIES p-STRUCTUREES. EXEMPLES

H = Top : catgories topologiques et espces de structures topologiques.

H = Di : catgories diren0ables et espces de structures diren0ables
Ces 2 cas sont dvelopps dans un ar0cle de 1959 comme gnralisa0on
des espaces brs localement triviaux. Ces derniers s'iden0ent des
espces de structures (C, S, p) o C est un groupode localement trivial. Un
tel groupode peut tre vu comme le groupode des isomorphismes entre
bres d'un espace br principal, dont les espaces brs associs
correspondent ces espces de structures.

H = Cat : catgories doubles dont les 2-catgories sont un cas par0culier.
La catgorie Cat(p) des catgories p-structures a diverses proprits selon
p. Ceci a conduit dterminer des classes de "bons" foncteurs et obtenir
des thormes de compl0on permeiant d'tendre p en un foncteur ayant
diverses proprits. Par exemple Di n'tant pas produits brs,
direntes "convenient categories" ont t proposes pour l'tendre.

1966- 1979 : ESQUISSES. CATEGORIES MONOIDALES FERMEES

p-structured categories and species

Internal categories

General sketches

Categories of sketched structures

Prototype, type

MulIple categories
ConstrucIon of monodal closed structures

La thorie des esquisses tend le cadre des "structures algbriques" en y

incluant des structures avec lois par0elles, en par0culier les catgories
conues comme tant une gnralisa0on des groupes ou des espaces
ordonns. Autrement dit l'accent est sur les 'pe0tes' catgories, ce qui
ne restreint pas la porte, puisqu'en u0lisant la thorie des univers, on
peut considrer des 'pe0tes' catgories de taille croissante.

ESQUISSES ET LEURS MODELES

lim
colim

M
S

Une esquisse induc0ve (resp. mixte) S est la donne d'une (no)catgorie ,

d'un ensemble de cnes induc0fs (resp. et d'un ensemble de cnes projec0fs)
sur .
Un homomorphisme de S vers une esquisse S' est un foncteur de vers '
transformant les cnes dis0ngus en cnes dis0ngus.
Les esquisses et leurs homomorphismes forment une catgorie Esq.
Un modle M de S dans une catgorie V est un foncteur de vers V
transformant les cnes induc0fs (resp. projec0fs) en cnes colimite (resp. limite).

La catgorie VS des modles de S dans V est une sous-catgorie pleine de la
catgorie V des foncteurs de dans V.

REMARQUES SUR LA DEFINITION DES ESQUISSES

Dans la dni0on d'une esquisse S il nest pas ncessaire de supposer que

est une catgorie. Il sut qu'elle soit une nocatgorie (ou graphe
mul0plica0f dans une terminologie plus ancienne de Charles), savoir un
graphe muni d'une loi de composi0on par0elle associant un chemin (x,
y) de ches successives un compos entre les mmes objets. C'est ce qui
est fait dans les premiers travaux sur le sujet. Toute nocatgorie
engendre une catgorie ' et l'esquisse S' obtenue en munissant ' des
mmes cnes dis0ngus que a les mmes modles que S. En pra0que,
quand on dcrit une esquisse il est souvent plus pra0que de se
restreindre une nocatgorie.

Plus tard Barr et Wells3 ont un peu modi la dni0on, en prenant pour
un simple graphe et en ajoutant dans la dni0on d'une esquisse des
'qua0ons' indiquant que certains chemins entre 2 objets doivent avoir le
mme compos comme image par un modle.

L'ESQUISSE DES CATEGORIES

[,Id]

e0

1
e3

e2

e0

2
[Id,]

e2

P.B.

2
2

Axiomes : 1 = [1, 22 ], 2 = [11, 2 ], 1=2 .

e2

2
e

1
P.B.

L'esquisse des catgorie est la catgorie engendre par le graphe ci-dessus,

munie des 2 cnes transformer en produits brs dans les modles. Elle
'prolonge' l'ide de catgorie en lui ajoutant 'assez' de ches pour noncer
les axiomes d'iden0t et d'associa0vit. e2 reprsente l'ensemble des
couples composables, e3 celui des 3-chemins. est une sous-catgorie
pleine de la catgorie oppose la catgorie simpliciale.

e
e3
2
e2

PROTOTYPE D'UNE ESQUISSE

Esq

MS

PS

Pro

M
P'

Un prototype est une esquisse dans laquelle les cnes induc0fs (resp.
projec0fs) sont des cnes colimite (resp. limite).
Thorme (A. & C. Ehresmann4 1972). La catgorie Pro des prototypes est
une sous-catgorie rexive de la catgorie Esq des esquisses. Le prototype
PS associ S est son plus pe0t modle.
Nous avons construit explicitement le prototype d'une esquisse. La
construc0on, qui ne modie pas les objets, consiste "forcer" les cnes
dis0ngus devenir limite ou colimite en ajoutant les ches qui manquent
pour cela. Ceci se fait par rcurrence.
Nous y reviendrons, la complexica0on consistant la construc0on d'une
esquisse par0culire (avec ajout d'objets) puis celle de son prototype.

INTERPRETATIONS DES ESQUISSES

1. De A. Rodin5 (2011) : " A sketch doesn't represent a bunch of isomorphic

systems but generates non-isomorphic systems (its models). <> Sketch
theory in its exis0ng form uses Set theory and usually doesn't make
founda0onal claims at all. <> Thus Sketch theory turns Structuralism
upside down3 and in certain aspects reminds of more tradi0onal ways of
doing mathema0cs. "
3 Does

this mean that Ehresmann misconceived of his own inven0on when he

thought of Sketch theory as a general theory of structure? I don't think so. A general
theory of structure should not be necessarily a structural theory and should not
provide a support for Structuralism as a philosophical view about Mathema0cs.

D'un point de vue logique, une esquisse projec0ve (resp. mixte) S peut tre
interprte comme la prsenta0on diagramma0que d'une logique du 1er
ordre, Guitart & Lair 1980 (resp. du 2e ordre, Duval & Lair 2002) 6 traduite en
formules et contraintes par un modle de S dans Set. Le foncteur de S dans
son prototype correspond la spcica0on de ce?e logique, le prototype
tant un modle de la thorie correspondante, de sorte qu'il est
"computable" dans un certain sens.

1930-1956

Homogeneous spaces (thesis 1934)

Locally homogeneous spaces
Foliated manifolds
Pseudogroups localisation

(Principal) fibre bundles

Connections
Jets

1970-1979

1963-1969 1957-1962

Species of Structures

Foundation of
Differential Geometry

Species of local structures

Typical functors
Ordered categories and species

Double categories

p-structured categories
and species
general theorems
depending on p

Internal categories
Categories of sketched structures

Multiple categories
Construction of monodal closed structures

Topological and
differential categories
and species

Foliations

Completion of categories
and functors
General sketches

Prototype, type

SECONDE PARTIE :
COMPLEMENTS SUR LES MES

SEMI-FAISCEAUX
S

Fe
Fyx
s

(yx)s= ys'
F(x)
p

F
C

x s
=s'

Fe
Fyx
s
Fs x

(yx)s= ys'
Fy

e'

S
p

p
e

C*S

xs =s'

F(x)

e'

C0

P.B.

Si un foncteur F: C Ens dnit une ac0on de C sur S, une che x: e e'

opre sur toute la bre F(e), et, si xs et yx sont dnis, il existe (yx)s = y(xs).
Ds 1961, divers problmes d'analyse me conduisent la no0on plus
'par0elle' de semi-faisceau o F est une simple applica0on vriant :
F(e) = IdFe , une che x: e e' n'opre, via F(x): Fx Fe', que sur une
par0e Fx de la bre Fe et la 'transi0vit' devient : si xs et yx sont dnis,
alors (yx)s est dni si et seulement si y(xs) l'est, et alors y(xs) = (yx)s.
Dans ces travaux, Ens est remplac par d'autres catgories, e.g. Cat ou Evt,
Fx devenant une sous-catgorie ou un sous-evt de Fe.

SCHEMA GENERAL D'UN (K, M)-SEMI-FAISCEAU

Fyx

I
P.B. yx
Fx

=
P.B.

F(yx)
Fy
F(y)

F(x)

Fe

Fe"

Fe

F
C

yx

e"

e'

K est une catgorie munie d'une sous-catgorie M de monomorphismes

dnissant des sous-objets par0culiers (par0al map category). Les ches
en rouge dsignent des ches de M. Par exemple K = Cat et M dnit des
sous-catgories.
Pour qu'un (K, M)-semi-faisceau F: C K soit un foncteur de C vers la
'catgorie' des spans de la forme (m, k) (i.e. il faudrait avoir Fyx = Iyx ce qui est
plus fort que l'axiome de transi0vit.

INTRODUCTION DU TEMPS COMME CHANGEMENT

S

Ft
Fyx
s
Fs

y(xs)

xs
.
Fy

F(x)
p

F
C

Temps
t

t'

En vue de problmes de contrle et d'op0misa0on (1963-66))7, j'ai

introduit une no0on de "systme guidable" qui u0lise un semi-faisceau
topologique F sur une catgorie C dont les objets sont des instants t et
les ches x: t t' > t reprsentent des paramtrages, de sorte que
F(x) modlise le changement de t t' pour ce paramtre.
En par0culier xs peut tre la valeur en t' de la solu0on d'une qua0on
diren0elle dpendant du 'paramtre' x et prenant la valeur s en t,
une telle solu0on n'existant que pour certaines valeurs s.

SEMI-FAISCEAUX SUR LE TEMPS

S

Ft
s transi0on xs
.
Fs (t,t')
Fy

F
C

y(xs)

p
t x = (t,t') t'

Temps
t"

Dans la suite on considrera des semi-faisceaux sur la catgorie T

associe l'ordre sur une par0e de R. Dans ce cas, F(t, t') est appel
transi0on de t t'.
Exemple simple montrant le sens de la transi0vit : Ft reprsente
l'ensemble des habitants s d'une ville V et F(t,t') l'ensemble des
habitants restant dans V entre t et t'. La transi0vit signie :
(i) Si s reste dans V entre t et t', puis entre t' et t", on en dduit qu'il
est rest dans V entre t et t".
(i) Si l'on sait que s est rest dans V entre t et t' ainsi qu'entre t et t",
on en dduit qu'il est aussi rest dans V entre t' et t".

MES = SEMI-FAISCEAU DE CATEGORIES HIERARCHIQUES

level n

on
0
i
s
n
a
r
t

H(t, t')

level n+1
C

level n-1

level 0

t'

Temps

Un MES (Ehresmann & Vanbremeersch8 2007) est un semi-faisceau H de

catgories hirarchiques sur Temps : (i) Pour tout t la catgorie Ht congu-
ra0on en t a une hirarchie enchevtre d'objets, chacun "recollant" (= est
(co)limite) d'un paiern (= diagramme) d'objets lis de niveaux infrieurs.
(ii) La transi0on H(t, t') est un foncteur d'une sous-catgorie H(t,t') de Ht dans
Ht' qui reprsente le changement entre t et t'. Les transi0ons sont engendres
par des processus de complexica0on.
Un composant est une famille maximale d'objets des Ht corrls par des
transi0ons. Il admet des ramica0ons jusqu'au niveau 0. Son ordre de
complexit est la plus pe0te longueur d'une ramica0on.

COMPLEXIFICATION ET EMERGENCE
transi0on
level n

level n+1

level n-1

level 0

t'

Temps

. Les changements types d'un systme dnamique (naissance, mort, fusion et

scission, d'aprs Thom) correspondent dans un MES : adjonc0on de
nouveaux objets, forma0on (ou prserva0on, si elle existe) de la (co)limite de
certains paierns, suppression ou dcomposi0on d'lments.
Pour dcrire ceci, les transi0ons seront obtenues par des suites de processus
de complexica0on par rapport des procdures ayant des objec0fs de tels
types. Ces complexica0ons permeient l'mergence de composants d'ordre
suprieur.
Nous allons d'abord montrer comment construire une complexica0on.

GERBES. LIENS SIMPLES

P*

P'*

G*

IndH
cP

niveau n+1
cP'

cG

Pj
P

gerbe G

niveaux<n

Pi
P'i'

P'

Gerbe G de P vers P' = ensemble maximal de liens entre paierns P et P' tel
que: 1. Tout Pi est li par G au moins un P'i' et s'il l'est plusieurs, ils sont lis
par un zigzag de liens dis0ngus de P'.
2. Le compos d'un lment de G avec un lien dis0ngu de P ou de P' est
dans G.
Si P et P' ont des colimites cP et cP' dans H, G se recolle en un morphisme cG :
cP cP', appel lien (P, P')-simple, ou n-simple si P et Q sont de niveaux < n
+1. est la catgorie ayant les paierns P dans H pour objets, et les gerbes
IndH
pour liens. H s'iden0e une sous-catgorie de IndH en iden0ant C au
paiern rduit C.

PATTERNS HOMOLOGUES (NON-)CONNECTES

J*

P*
IndH

Q*
C

J
P'

Q
P'
Q'

balancement

Des paierns P et Q sont homologues s'ils ont le mme rle fonc0onnel,

signiant : les catgories P*H et Q*H sont isomorphes. Exemple : si P
et Q ont la mme colimite C, ou mme colimite virtuelle (Bnabou9).
Des paierns homologues P et Q sont connects s'il existe une gerbe J de P
vers Q telle que l'isomorphisme soit dni par composi0on avec J* ; sinon
ils sont non-connects et on a un balancement entre eux. On dit que C est
mul0forme s'il admet 2 dcomposi0ons non-connectes P et Q.
Principe de MulIplicit (MP): Il existe des objets n-mul0formes C colimite
de paierns P et Q de niveaux n non-connects par une gerbe.

MP ---> EMERGENCE DE LIENS COMPLEXES

niveau
+1
levelnn+1
A

lien n-complexe
C

imp
s
-
n

lien

G
gerbe
=
=
=

Q'
Q

Pi

le

A'

P j

balancement

P'

levels n
niveaux
n

MP ---> Emergence de liens n-complexes

composs de liens n-simples liant des gerbes non adjacentes.
Ces liens traduisent des proprits globales des niveaux n qui mergent au
niveau n+1 car non observables aux niveaux infrieurs bien que dpendant
de leur structure globale.
Ils conduisent ce que Popper appelle "change in the condi0ons of change".

TRADUCTION DANS LE CAS DES ORDRES

Soit H la catgorie associe un ordre sur un ensemble (E, <) ; les

ches sont donc les couples (e, e') de ExE tels que e < e'

Un paiern sera iden0 un sous-ensemble ordonn (P, <). Il admet
un lien collec0f vers un lment e de E ssi e est un majorant de P. Et il
a une colimite ssi P a un Sup ; la colimite est alors ce Sup VP.
Gerbe de P dans P' : ensemble maximal G de couples (p, p') avec p < p'
tels que si (p, p') et (p, p") sont dans G, alors p' et p" dans une mme
composante connexe de (P', <).
P et Q sont homologues s'ils ont les mmes majorants. Dans ce cas, ils
sont non connects ds qu'il existe p dans P non major dans Q ou q
dans Q non major dans P. Dans ce cas un "lien complexe" peut exister
dans la catgorie dnissant l'ordre.

COMPLEXIFICATION POUR UNE PROCEDURE

cP

cP"

P
E

P'

cG cP' cG'

Q'
Q'
H

cP"

H' cP

cP'

G'

P"

P
P'

Q'

P"
A

Procdure Pr sur la catgorie H : Pr = (E, A, U, V) o : E = sous-graphe E de H,

A = graphe, U = ensemble de cnes dans H, et V = ensemble de paierns P
sans colimite dans H. Objec0fs : 'liminer' E, 'absorber' A, rendre cnes-
colimite les cnes de U, et 'ajouter' une colimite cP' P' V. On impose que
cP' = cQ' si P' et Q' sont homologues. La procdure est mixte si on a aussi un
ensemble W de paierns Q auxquels ajouter une limite.
La complexica0on de H pour Pr est solu0on du problme universel :
'plonger' H moins E dans une catgorie H' ralisant ces objec0fs.

CONSTRUCTION DE LA COMPLEXIFICATION, I
cP

H'

cP"
cP'

cP"

cP
cG cP' cG'

S
p

G
p'

Q'
Q'

E
H

G'

p"

P'

Q'

p"
A

Elle se fait en plusieurs tapes :

(i) A la procdure Pr on associe une esquisse S sur la nocatgorie
contenant A, H sauf E, et un cne de base P et sommet cP pour tout paiern
dans V ; ses objets sont donc ceux de H non supprims, et les cP. On choisit
cP de sorte que cP = cQ, si P et Q sont homologues, o P et Q sont dans V ou
bases de cnes dans U. Les cnes dis0ngus sont ceux-ci et ceux dans U.
(ii) La complexica0on H' de H rela0vement Pr sera le prototype associ
ceie esquisse. Il aura les mmes objets que . Ses flches sont construites
par rcurrence (simple si les P sont finis, ventuellement transfinie sinon).

CONSTRUCTION DE LA COMPLEXIFICATION, II
cP
cG

cP"

cP'

S
p

p'

Q'
Q'
H

G'

p"
A

Il faut 'forcer' chaque cne dis0ngu de base P et sommet cP devenir

cne-colimite. Ceci se fait par tapes en partant de , chacune
abou0ssant une catgorie n.
Partant de n on 'recolle' chaque gerbe G de P vers un P' dis0ngu en cG:
cP cP' (resp. chaque lien collec0f L de P vers A en cL: cP A) de sorte
rendre commuta0fs les diagrammes voulus. D'o une nocatgorie.
Il faut ensuite ajouter des composs pour obtenir une catgorie n+1 ; en
par0culier ceci peut ajouter des liens complexes (cf. gure). L'ajout de ces
liens peut conduire la forma0on de nouvelles gerbes qu'il faudra alors
recoller ; dans ce cas, le processus doit tre rpt. Si les paierns P sont
nis, le processus s'arrtera. La complexica0on sera la runion de la
suite croissante des catgories n.

EXEMPLES DE COMPLEXIFICATIONS

ConstrucIon de R. Soit H la catgorie dnissant l'ordre sur Q. Soit Pr la

procdure dont les cnes dans U ( recoller) soient les sec0ons
commenantes P de Q majores et sans borne suprieure. La
complexica0on de H pour Pr est la catgorie dnissant l'ordre de R.
En eet, la construc0on prcdente ajoute, pour chaque P dans U un cne
de base P et sommet cP, c'est--dire un objet cP et une che d'un p P
vers cP. Pour un autre P' dans U, l'une des 2 sec0ons commenantes P ou
P', disons P', est contenue dans l'autre, d'o une unique gerbe de P' vers P
(l'ordre tant total) qui se recolle en une che de cP' vers cP. La
construc0on s'arrte aprs la premire tape ; la complexica0on a pour
objets les ra0onnels et les cP : c'est la catgorie associe un ordre dans
lequel cP = SupP. On retrouve la construc0on par coupures des rels.
Remarques. 1. Dans la construc0on prcdente U pourrait consister en
un ensemble quelconque de par0es majores M dont la runion soit Q.
En eet, M et la sec0on commenante engendre par M
sont( homologues donc doivent avoir le mme cM.

2. La complexica0on de la catgorie associe un ordre non
total n'est pas ncessairement associe un ordre, car il peut y avoir 2
gerbes direntes entre deux paierns.

THEOREME D'EMERGENCE

THEOREME D'EMERGENCE 10 . MP est ncessaire pour l'existence de

composants d'ordre de complexit > 1. Il est prserv par complexica0on
et, dans un MES il permet l'mergence au cours du temps de composants
d'ordre croissant, en par0culier dveloppant une mmoire exible.
Traduc0on' de F. Nicolas (2013) : " Comment une superstructure peut-elle merger d'une infrastructure ?
<> pour que les rela0ons superstructurelles entre collec0fs soient mancipes des rela0ons
infrastructurelles entre individus, il faut quil y ait des collec0fs qui collec0visent, sous le mme nom, des
groupes en0rement dirents et disjoints dindividus. " ().

La colimite d'un paiern P dont tous les liens sont simples se 'rduit' la
colimite d'un simple paiern Q de niveaux infrieurs. Mais si P a des liens
complexes, l'ordre de complexit de sa colimite cP est plus grand.
cP = cQ

cP

THEOREME DE COMPLEXIFICATION ITEREE

niveau n+1

Ht'
niveau n

Ht

niveau 0

t'

t"

Temps

THEOREME DE COMPLEXIFICATION ITEREE 10. Une double complexica0on

avec liens complexes ne se rduit pas une seule complexica0on.de la
premire catgorie.
La construc0on de la complexica0on ncessite une suite d'opra0ons
dont chacune a une certaine dure, e.g. la forma0on d'un lien complexe.
Le Thorme prcdent implique que des complexica0on itres
peuvent abou0r des rsultats non prvisibles ini0alement. Les liens
complexes introduits dans la 1re complexica0on conduisent de
nouvelles "propensions changer (Popper). Ceci est aussi rapprocher
de la "cra0vit transforma0onnelle" de M. Boden.

EXEMPLE DE COMPLEXIFICATION ITEREE

Ces images reprsentent direntes vues d'un tableau cr par Picasso dans
le lm de Clouzot "Le mystre Picasso" (1958). Elles montrent comment la
complexit du tableau augmente tout au long de sa composi0on pour abou0r
un rsultat imprvisible, nombre de changements intermdiaires durant
peu mais donnant une nouvelle orienta0on.

DES DYNAMIQUES LOCALES AU MACROPAYSAGE

Un MES (exemples : MENS8, D-MES (Bjean & Ehresmann)11 est auto-

organis : sa dynamique est module par la coopra0on/comp00on entre
un rseau de sous-semi-faisceaux spcialiss, les Co-Rgulateurs, chacun
dveloppant une dynamique opra0ve locale son propre rythme. Ils
oprent avec l'aide du sous-semi-faisceau Mem reprsentant une mmoire
exible qu'ils peuvent mobiliser rciproquement contribuer faonner.

PROBLEMES TEMPORELS DANS MES

Un MES est soumis des contraintes matrielles et temporelles.

= A la base, on a le temps con0nu 'objec0f' des horloges qui permet de
coordonner tout le systme. En par0culier on suppose que chaque lien f
entre composants a un dlai de propaga0on df et une force wf qui sont
des fonc0ons valeurs relles, dnies sur la dure de vie de f. J'ai
montr comment la proprit universelle de la complexica0on permet
d'tendre ces fonc0ons la complexica0on.
= Chaque co-rgulateur CR opre
avec 2 temporalits : il hrite le
temps con0nu de MES (dont il est
un sous-semi-faisceau) ; par ailleurs
il opre par tapes, dlimites par
sa propre chelle de temps dis-
crte. La longueur d'une tape
couvre le "prsent actuel" du CR
(cf. Bergson). Les dures des tapes
des dirents co-rgulateurs sont
trs direntes.

CR3
CR2
CR1
Tiemps

DYNAMIQUES OPERATIVES LOCALES ET LEUR JEU

Fracture

CR'

Dynamique
globale
CR

Co-rgulateurs

Objec0fs
des CR

Jeu des CR

Un co-rgulateur CR opre par tapes, son rythme, selon sa fonc0on. A

chaque tape, il forme son paysage avec les informa0ons par0elles qu'il
reoit, choisit une procdure l'aide de Mem, et en envoie les commandes
aux oprandas. ce qui dclenche un processus dynamique 'classique'
s'tendant jusqu' la n de l'tape (calculable e.g. via EDP).
Mais les commandes envoyes par les dirents co-rgulateurs en t peuvent
ne pas tre cohrentes, chacun ayant sa propre logique. La dynamique
globale rsulte d'un processus exible d'quilibra0on (non calculable ?), le
jeu entre co-rgulateurs CR, pouvant ngliger les objec0fs de certains co-
rgulateurs CR, leur causant ainsi une fracture.

LE NOYAU ARCHETYPAL AC

Par complexica0ons itres, il se dveloppe un sous-semi-faisceau AC de

Mem, appel Noyau Archetypal. Il est form de composants d'ordre
suprieur mul0-faceies, ayant de nombreuses ramica0ons, fortement
connects (bass sur le noyau sructural du cortex pour MENS). AC intgre
des mmoires signica0ves de diverses modalits. Ses liens rapides et forts
forment des boucles qui auto-entre0ennent leur ac0va0on longtemps.
AC engendre un modle interne exible des connaissances du systme,
personniant son iden0t ('Self'). Un CR reli AC est dit inten0onnel.

MACRO-PAYSAGE

AC

CR1

CR2

L'ac0va0on d'une par0e de AC se diuse via des boucles archtypales auto-

entretenues et se propage aux niveaux infrieurs.
Retransmise des co-rgulateurs inten0onnels, il se forme un macro-paysage
MaP unissant et tendant leurs paysages et de plus longue dure. Il groupe
toutes les informa0ons accessibles ces CR, de tous niveaux et s'tendant du
pass au futur ; des macro-paysages successifs se chevauchent. Ces CR
peuvent alors dvelopper des procdures communes, et former de nouveaux
objets archtypaux. Ceux-ci pourront ensuite se diuser d'autres CR.

APPLICATION : NAISSANCE DU CUBISME13

Soit P-MES un MES de type D-MES par0culier (cf. expos de M. Bjean12,

Mamuphi 2013), qui reprsente le monde ar0s0que en France au dbut
du XXme sicle, le but tant de montrer l'mergence du cubisme ceie
poque. Parmi les co-rgulateurs nous avons des ar0stes isols, des
groupes d'ar0stes ayant des anits, d'autres groupes lis l'art
(galristes, conservateurs de muse, amateurs d'art,).
Braque,
Houses at
l'Estaque
1908
Picasso
Guitar Player
1910

2 ar0stes se s0mulant, forma0on d'un Co-rgulateur G les regroupant.

Pe0t pe0t d'autres ar0stes se joignent eux.

2. Dans G l'mula0on conduit au dveloppement d'objets archtypaux

reprsentant une concep0on par0culire de l'Art. Ceci permet la
forma0on d'un macro-paysage qui rtroagit sur les uvres de ses
membres. Ainsi le style du sculpteur Csaky se modie lentement, par
complexica0ons successives.

3. Dirents groupes de cri0ques ou peintres ont des opinions

divergentes. Le mot "cubisme" est introduit par drision par Ma0sse, mais
il rend le groupe plus visible. Des galristes les remarquent et vont leur
permeire de se dvelopper. Au cours des ans, le cubisme s'impose comme
une nouvelle tendance ar0s0que.
MERCI

Notes-Rfrences

1 Charles Ehresmann : uvres Compltes et Commentes, 7 volumes (Ed. A. Ehresmann),

Amiens 1980-83. Version pdf tlchargeable online hip://carlossicoli.free.fr/E/

2 Cockei J.R.B. & Lack S., Restric0on categories I: categories of par0al map, Computer
Science 270, 2002, 223259.
3 Barr M. & Wells C., Toposes, Tripes and Theories, 1985, Springer. Online dans : Theory
and Applica0ons of Categories, 12, 2005, pp. 1288.
4 Bas0ani(-Ehresmann) A & Ehresmann C., Categories of sketched structures, Cahiers de
Top. et Gom. Di XIII-2, 1972. Online sur NUMDAM
5 Rodin A., Categories without structures, Philosophia Mathema0ca 19(1), 2011, 20-46.
6 Guitart R. & Lair C., Calcul syntaxique des modles et clacul des formules internes,
Diagrammes 4, 1980.
7 Bas0ani A., Sur le problme gnral d'op0misa0on, in Actes Congrs d'Automa0que
Thorique, Dunod, Paris 1965, 125-136.
8 Ehresmann A. & Vanbremeersch J.-P., Memory Evolu0ve Systems : Hierarchy,
Emergence, Cogni0on, Elsevier 2007.
9 Bnabou J., Structures algbriques dans les catgories. Cahiers Top. et Gom. Di. X-1,
1968, 1-126.
10 Ehresmann A. & Vanbremeersch J.-P., Mul0plicity Principle and emergence in MES,
SAMS 26 ,1996, 81-117.
11 Bjean M. & Ehresmann A, D-MES : conceptualizing the working designer, 8th Intern.
Conf. on Design Principles and Prac0ces, Vancouver, January 2014. Online :
12 Bjean M., Approche catgorique des processus de concep0on et dinnova0on
collec0ves, Sminaire Mamuphi, ENS Paris, 7/12/2013.
13 Ehresmann A. & Vanbremeersch J.-P., Pe0te mathma0que de la cra0on, L'E0ncelle
6, Nov. 2009, IRCAM , Centre Pompidou.