The category of quasi-Polish spaces as a represented space

Abstract: Quasi-Polish spaces are a class of well-behaved countably based spaces which include Polish spaces, omega-continuous domains, and countably based spectral spaces. In this talk, we will show how to construct the category of quasi-Polish spaces as a represented space, and demonstrate the computability of some standard category-theoretical constructions such as products and equalizers. As an example of some less trivial constructions, we use domain theoretic techniques to verify the computability of various powerspace functors on the category of quasi-Polish spaces. (This work was supported by JSPS KAKENHI Grant Number 18K11166).

logic

Audience: researchers in the topic

Computability theory and applications

Series comments: Description: Computability theory, logic

The goal of this endeavor is to run a seminar on the platform Zoom on a weekly basis, perhaps with alternating time slots each of which covers at least three out of four of Europe, North America, Asia, and New Zealand/Australia. While the meetings are always scheduled for Tuesdays, the timezone varies, so please refer to the calendar on the website for details about individual seminars.