{"id":"arxiv/2603.01056","url":"https://arxiv.org/abs/2603.01056","tags":["cs.LO","math.CT","math.LO"],"score":0,"title":"A Classifying Topos for the Spectrum of Equivalences","domain":"cs.LO","source":"arxiv","authors":["Kenan Oggad"],"reviews":0,"subject":"cs.LO","summary":"What makes two computational systems equivalent? Topos theory answers with classifying toposes: a system's semantic content is encoded in the geometric theory it classifies, and two presentations are equivalent when their classifying toposes coincide. Process algebra answers with the linear time-branching time spectrum of van Glabbeek: a hierarchy of behavioral equivalences from trace equivalence to bisimilarity, each determined by which observations can distinguish processes. We show these are aspects of a single structure in which behavioral abstraction is localization. Each labeled…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-03-01","reactions":{}}