CRDTs are cocartesian categories.States are objects; writes are morphisms.Safe reads are functors out.One way of constructing a CRDT is to take the category of subobjects of an object in any…

Posters: davidad. davidad

3 likes recorded by the source corpus.

Topics: Math, Software

View Post: https://x.com/davidad/status/1611014505617817606