{"id":"arxiv/2608.04228","url":"https://arxiv.org/abs/2608.04228","tags":["cs.LO","math.AT"],"score":0,"title":"Topological Semantics for Scoped Computational Paths","domain":"cs.LO","source":"arxiv","authors":["Arthur Freitas Ramos","Ruy J. G. B. de Queiroz","Anjolina Grisi de Oliveira","Tiago M. L. de Veras"],"reviews":0,"subject":"cs.LO","summary":"Computational paths record the steps of an equality derivation. We give them a topological semantics that distinguishes derivable rewrites from arbitrary homotopies. Coherent representatives pair traces with paths homotopic to their realizations. We compare a topology retaining the entire trace with one observing only endpoints, length, and paths. Quotienting by the declared rewrites gives a groupoid. Multiplication is continuous when composable pairs carry the quotient topology inherited from composable representatives. This topology can differ from the usual subspace topology on pairs of…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-04","reactions":{}}