Извините, а вы не в курсе:
дают ли структуру модельной категории на симплициальнх проконечных группах или хотя бы на симплициальных про-р-группах
расслоения- сюръективные гомоморфизмы,
слабые эквивалентноси- гомоморфизмы,которые индуцируют изоморфизмы гомотопических групп?
Есть ли там (хотя бы в про-р-случае) эквивалентность Кана?