{"id":"arxiv/2608.27771","url":"https://arxiv.org/abs/2608.27771","tags":["math.GT","math.AT","math.CT"],"score":0,"title":"A normal form for the Thin Flat Surfaces category","domain":"math.GT","source":"arxiv","authors":["Jaime Herrera","Carmen Rovi"],"reviews":0,"subject":"math.GT","summary":"The category TFS of thin flat surfaces, introduced by Khovanov, Qi, and Rozansky, is a strict symmetric monoidal category whose morphisms are compact oriented surfaces with corners arising as neighbourhoods of immersed graphs in a strip. We prove two main results. First, a normal form theorem: every connected viewable tf-cobordism is equal, in TFS, to a canonical composite determined by its topological type. Second, a sufficiency theorem: we establish a list of relations in the TFS category which are sufficient, meaning that any two composites of generators representing the same tf-cobordism…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-27","reactions":{}}