位相空間のコンパクト性、層の連接性などについて自由に語り合うスレ