3 ms·
I suppose you could combine the two by pointing out that git is like a category where a git merge is like a pushout etc.
by contravariant 5y ago
I suppose you could combine the two by pointing out that git is like a category where a git merge is like a pushout etc.