@cwebber activitypub is a monoid in the category of endofunctors