> Hmmm, I haven't heard this term before. Are these [0] the complete 
> categories that you mean?
> 
> [0]: https://en.wikipedia.org/wiki/Complete_category

Yes, exactly. The idea is pretty abstract and while I know a little bit
about category theory I'm by no means an expert on the subject. This
blog post [1] is a very down-to-earth, practical explanation how the
concept of (co)completed categories can be applied to conflict
representation in version control systems.

[1] https://jneem.github.io/merging/

Hello EuAndreh,

I read your blog post with excitement because I'm currently on a very
similar quest. My goal is to bring back application data into the hands
of the users (and onto their devices) to replace centralized,
cloud-based data stores. I wrote down what I wanted in this blog post
[1].

Like you, I didn't find anything that seemed to work like I wanted, so I
decided to start exploring the problem myself. While you go for the
Git-like approach of three-way-merges, I am trying to model conflict
situations with completed categories.

I can't say that I've come very far yet. I realized that properly