位相空間の圏 - 他の言語