2022/01/26 by Kopperman, Ralph, Panangaden, Prakash, Smyth, Michael B. +2
#Borel hierarchy #Domain theory #Hausdorff difference hierarchy #Wadge degree #constructive topology #descriptive set theory #domain representation #formal topology #fractafold #inverse limit construction #matroid geometry #partial metric #quantum gravity #region geometry #space-time
paper · doi:10.4230/dagsemproc.04351.2
Topological notions and methods are used in various areas of the physical sciences and engineering, and therefore computer processing of topological data is important. Separate from this, but closely related, are computer science uses of topology: applications to programming language semantics and computing with exact real numbers are important examples. The seminar concentrated on an important approach, which is basic to all these applications, i.e. spatial representation.