Pino Rosolini
Professor of Mathematics, University of Genoa

Remarks About Equilogical Spaces


Equilogical spaces were introduced by Dana Scott in his seminal paper on Data
Types as Lattices as a "good category of spaces for computation". We shall
review the presentation of the category of equilogical spaces and present two
applications to logic. The first is that it subsumes a model for Martin-Loef
Type Theory where to discuss the univalent axiom with respect to topological
spaces. The second is to give a synthetic presentation of the category of
frames which suggest that frames are algebras for geometric logic.

Principles of Programming Seminars