BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Matthew de Brecht (Kyoto University)
DTSTART:20220111T120000Z
DTEND:20220111T130000Z
DTSTAMP:20260423T005736Z
UID:CTA/79
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CTA/79/">The
  category of quasi-Polish spaces as a represented space</a>\nby Matthew de
  Brecht (Kyoto University) as part of Computability theory and application
 s\n\n\nAbstract\nQuasi-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 const
 ruct the category of quasi-Polish spaces as a represented space\, and demo
 nstrate the computability of some standard category-theoretical constructi
 ons such as products and equalizers. As an example of some less trivial co
 nstructions\, we use domain theoretic techniques to verify the computabili
 ty of various powerspace functors on the category of quasi-Polish spaces. 
 (This work was supported by JSPS KAKENHI Grant Number 18K11166).\n
LOCATION:https://researchseminars.org/talk/CTA/79/
END:VEVENT
END:VCALENDAR