Bonsoir à tous,
On parle souvent dans les Bourbaki de structure initiale. J'aimerais en savoir un peu plus sur le sujet, parce que je sais ce qu'est une topologie intiale, une stucture uniforme initiale, etc., mais je ne sais rien de la notion générale.
Quelqu'un pourrait-il m'en dire deux mots ou me diriger vers un document sur le sujet ?
Merci d'avance,
Seirios
If your method does not solve the problem, change the problem.
peut-être en relation avec ce qu'on appelle objet initial en théorie des catégories? vois ici : http://fr.wikipedia.org/wiki/Probl%C...et_objet_final
Il y a effectivement une ressemblance, mais je n'ai jamais étudier la théorie des catégories...
If your method does not solve the problem, change the problem.
euh... précise un peu le contexte peut-etre ?
pour moi ca peut faire référence à un objet initial d'une certaine catégorie mais je trouve la formulation "de structure initiale" un peu étrange (mais cela dit bourbaki a souvent un points de vue un peu marginal sur les notions catégorique)
Ca peut aussi être une topologie initiale (ou un structure uniforme initiale) dans ce cas c'est quand tu as une application f :X->Y avec une topologie donne sur Y, tu peux mettre sur X la "moins fini topologie rendant continu f" ses ouvert sont les f^(-1)(U) pour U ouvert de Y...
Je suis allé voir dans Bourbaki de théorie des ensembles, et il semblerait que la notion de structure initiale rejoigne ce dont parle ambrosio. Je me lancerai dans la théorie des catégories un peu plus tard. Merci pour vos réponses.
If your method does not solve the problem, change the problem.
