An ensemble of idempotent lifting hypotheses

ما همچنین برخی از اتصالات پنهان بین این ویژگی های بلند بلند را کشف می کنیم. به عنوان مثال، اگر عناصر منظم یک الگوریتم را به صورت یکنواخت بسط دهند، پس همموتوپ های ایزومورفیک نیز وجود دارد. واکنش درست زمانی است که واحدهای بلند شوند روابط منطقی بین این و چند ویژگی مهم دیگر بلندپرواز به طور کامل مشخص می شود. در طول راه، نمونه های متعددی توسعه یافته اند که محدودیت های این نظریه را نشان می دهد.