{"id":"arxiv/2610.38143","url":"https://arxiv.org/abs/2610.38143","tags":["math.CT"],"score":0,"title":"Comparison categories: the normal form and the regularity of comparison data","domain":"math.CT","source":"arxiv","authors":["Nizar El Idrissi"],"reviews":0,"subject":"math.CT","summary":"There are many types of equivalence relations in mathematics, each one enjoying its own defnition, but many of them can also be defined by transformations of morphisms: Green's relations, orbit relations, conjugacy, equality of orbit closures, equivalence of Cauchy sequences, stable isomorphism. We unify them through the comparison category of a comparison datum, read at levels $-1,0,1,2,\\dots$ (comparisons in both directions, connected components, homotopy groups). Its normal form is a full subcategory of a Grothendieck construction $\\int_VH$ cut out by a map $s$; the classical relations…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-28","reactions":{}}