코알게브라의 범주에 대한 토포스 이론적 결과를 확장하여, 자연 디스플레이 토포스와 자연 카르테시안 디스플레이 코모나드에 대한 결과를 제시한다. 이를 통해 Hofmann-Streicher의 유니버스 접근법을 프리셰프 토포스에서 쉬프 토포스로 확장할 수 있다.
