3 ms·git branches are just a monoid in the category of endofunctors. Did I get that right?by davidw 4y agogit branches are just a monoid in the category of endofunctors. Did I get that right?