Halkalı uzay, bir ikilidir. İkilinin bir ayağı topolojik bir uzaydır, diğer ayağı o topolojik uzay üzerine tanımlanmış bir halkalar balyasıdır (sheaf). (X1,F1) ve (X2,F2) birer halkalı uzay ise bu ikisi arasındaki bir morfizma da (f,f#) biçiminde bir ikilidir. Burada f:X1⟶X2 sürekli bir fonksiyon f# da F2⟶f∗F1 biçiminde bir balya morfizmasıdır.