Title: The theory of triposes