I will explain how to represent spheres as canonical quotients of projective Fraisse limits. I will define the classes of structures used and present an outline of the proof, which involves category theoretic constructions and combinatorial topology. This is joint work with A. Panagiotopoulos.