Concrete sheaves and continuous spaces

Cebirsel topoloji ve diferansiyel geometride bulunan çoğu kategori kartezyen kapalı olma, geri cekişe sahip olma, dışarı itmeye sahip olma, limit ve eşlimite sahip olma gibi uygun özellikleri barındırmıyor. Topolojik manifoldlardan daha genel fakat topolojik uzaylardan daha özel olan sürekli uzaylar kavramını tanıtacağız. Sonra ise sürekli uzaylar kategorisinin aradığımız uygun özellikleri barındırdığını ispatlayacağız. Bunun için ilk olarak somut siteler, somut demetlerin tanımını vereceğiz ve bir genelleştirilmiş uzayın aslında verilen bir somut site üzerinde bir somut demet olduğunu söyleyeceğiz. Sonra ise bir genelleştirilmiş uzay kategorisinin (verilen bir somut site için) limit ve eşlimitlere sahip olduğu ispatlanacak. Sonunda ise sürekli uzaylar kategorisinin aslında bir genelleştirilmiş uzay kategorisine (belli bir somut site için) denk olduğu ispatlanacak.