Прикольная ссылочка...
Есть такая идея (Серр, Ивасава, Рибес, Залесский, Мельников)- построить проконечную теорию Басса-Серра. Это полезно для конструирования абсолютных групп Галуа, исходя из подгрупп разложения (см. Нойкирх, Шмидт, Вингберг"Когомологии Галуа алгебраических числовых полей"). Только тут проконечный граф- это предпучок проконечных пространств, далее можно аналогично определить проконечный граф проконечных групп, его фундаментальную группу- через толчок :-). Там возникает одна проблема- не ясно, как найти замену понятия максимального связного проконечного поддерева. Было у меня подозрение, что тут тоже нужна какая-то (ко)фибрантная замена- надо будет как-нибудь почитать эту статейку.

(Reply to this)