A new characterization of arithmetical categories and Pixley's theorem
We characterize the arithmetical categories - the exact Mal'tsev categories whose lattices of congruences are distributive - by a simple condition on some suitable pushouts and a finite limit: a regular category is exact arithmetical if and only if, for every triple of regular epimorphisms with common domain, the pairwise pushouts exist and the comparison morphism to the limit of the diagram they form is a regular epimorphism. For a regular category, the validity of this condition for pairs and for triples is equivalent to its validity for $n$-tuples for all $n \ge 2$, and characterizes…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.06248
curl -X POST /api/v1/records/arxiv/2609.06248/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.06248/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'