{"id":"arxiv/2609.37815","url":"https://arxiv.org/abs/2609.37815","tags":["cs.LO","math.CT"],"score":0,"title":"Concurrent Strategies as Street Fibrations","domain":"cs.LO","source":"arxiv","authors":["Hugo Paquet","Glynn Winskel"],"reviews":0,"subject":"cs.LO","summary":"Concurrent games and strategies based on event structures are an established and expressive model of interactive computation. In this paper we revisit the problem of equipping this model with symmetry. Symmetry is essential for many applications, but it is also a source of mathematical complexity, not least because strategies with symmetry can be compared up to several distinct notions of equivalence. Our first contribution is a complete characterization of two classes of strategies for which composition admits an identity. For these two classes the identity laws hold, respectively, up to a…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-29","reactions":{}}