Profinite sets are just another name for compact totally disconnected topological spaces. I think this is (essentially) explained somewhere in Bourbaki's books on general topology.
Leonid Positselski
- 15.6k
- 1
- 57
- 95