Paper P1038 pagesReviewed manuscript
Distributed CatDB
Which CatDB operations commute, converge, conflict, or require coordination?
Question and scope
separate CRDT-compatible operations from noncommutative schema and mapping transitions.
Research artifacts
operation algebra, causal metadata, replay model, conflict boundaries, and convergence claims.
Evidence and evaluation
deterministic partition, reorder, duplicate, replay, and healing histories.
Claim boundary
category theory eliminates CAP-style tradeoffs.