Tripos theory
topos-representing indexed pre-ordered set
scientific article