Comparison categories: the normal form and the regularity of comparison data
Source: arxiv.org/abs/2610.38143
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.38143
curl -X POST /api/v1/records/arxiv/2610.38143/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.38143/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'