<foo> simply produces <foo>in the text).
<URL: http://somewhere.tld/ >,
and it will be automatically made into a link.
(Do not try any other way or it might count as an attempt to spam.)mailto: URI,
e.g. mailto:my.email@somewhere.tld,
if you do not have a genuine Web site).
Essaime (2023-06-22T16:20:51Z)
J'ai commencé à lire cette entrée, en tant que probabiliste titillé par les topos sans savoir en grand détail ce que c'est. Je me suis pour l'instant arrêté au tout début de la section sur les relations fonctionnelles. J'ai l'impression d'avoir raisonnablement bien compris ce que j'ai lu. Ré-expliquer les choses de façon redondante avec tantôt du formalisme, tantôt de l'intuition, en multipliant les points de vue, ça permet de trouver quelque chose auquel se raccrocher (quelque chose dépendant du lecteur). Je ne prétends pas te l'apprendre, je te signale juste que l'effet escompté est atteint, du moins en ce qui me concerne.
Tu mentionnes le fait que pour un topos de Grothendieck, on a un morphisme géométrique vers le topos des ensembles alors que pour le topos effectif, c'est dans l'autre sens. Y a-t-il une manière simple de faire passer le pourquoi de cette différence ? Du genre "c'est toujours contravariant quand on passe de l'algèbre aux espaces or là il se passe que … " ?
Merci en tout cas pour ton travail.
Damien (2023-06-21T06:38:59Z)
Une autre référence intéressante et assez lisible : https://arxiv.org/abs/2204.00948