6 ms·
This is very nicely written. Isn't the principle essentially similar to vector clocks? It certainly feels very similar.
by louthy 9y ago
This is very nicely written. Isn't the principle essentially similar to vector clocks? It certainly feels very similar.
- euyyn 9y agoWhat's a vector clock?
- wolfgke 9y ago> What's a vector clock? https://en.wikipedia.org/wiki/Vector_clock https://en.wikipedia.org/wiki/Vector_clock
- danharaj 9y agoThe principle is very general. Colimits are the essence of gluing pieces of data together so they appear just about everywhere in mathematics in some form or another. Vector clocks do form an instance of colimits. A special kind in fact, a colimit of a partially ordered set of objects. There is a fundamental lemma of category theory that says that you can always embed a category into a larger one that allows all colimits, i.e. gluing constructions (subject to cardinality considerations).