Sign up or sign in
logo
  1. Topology and Dynamics
  2. Icon: chevron
  3. SumTopo
  4. Icon: chevron
  5. 2026

Topology and Computing

Icon: calendar TC Session Talk #6.1 | 2026 Jul 15 from 10:30AM to 10:55AM (Zagreb) | B3-68

Subevent of TC Session #6

‟Computable inner approximation of topological graphs” by Matea Čelar <matea.celar@math.hr>, University of Zagreb

Abstract:

In this talk, we will discuss conditions under which a metric space is inner approximated by its computable subspaces. We focus on (generalised) topological graphs, which are spaces obtained by gluing arcs and rays together at their endpoints. First, we show that every non-vertex point in a semicomputable topological graph has a neighbourhood which is a computable arc with computable endpoints. Using this, we show that every semicomputable topological graph is inner approximated by computable topological graphs with computable endpoints. This talk is based on joint work with Vedran Čačić, Marko Horvat and Zvonko Iljazović.