Carlos Gonzalía: The Allegory of E-Relations in Constructive Type Theory. RelMiCS 2000: 85-94